Optimal CHC Solving via Termination Proofs. - Yu Gu 022; Takeshi Tsukada; Hiroshi Unno 001 (Proc. ACM Program. Lang., 2023)

Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification. - Hiroshi Unno 001; Tachio Terauchi; Yu Gu 022; Eric Koskinen (Proc. ACM Program. Lang., 2023)