On Singleton Self-Loop Removal for Termination of LCTRSs with Bit-Vector Arithmetic. - Ayuka Matsumi; Naoki Nishida 001; Misaki Kojima; Donghoon Shin (CoRR, 2023)

A nesting-preserving transformation of SIMP programs into logically constrained term rewrite systems. - Naoki Nishida 001; Misaki Kojima; Ayuka Matsumi (J. Log. Algebraic Methods Program., 2025)