TY  - RPRT
TI  - Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version)
AU  - Kanta Takahata
AU  - Jonas Schöpf
AU  - Naoki Nishida
AU  - Takahito Aoto
PY  - 2025
DO  - 10.1007/978-3-032-04848-6_12
UR  - https://arxiv.org/abs/2505.21986
ID  - 2505.21986
ER  -