Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version). - Kanta Takahata; Jonas Schöpf; Naoki Nishida 001; Takahito Aoto 001 (CoRR, 2025)

Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations (Full Version). - Kanta Takahata; Jonas Schöpf; Naoki Nishida 001; Takahito Aoto 001 (CoRR, 2025)