TY  - RPRT
TI  - Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations (Full Version)
AU  - Kanta Takahata
AU  - Jonas Schöpf
AU  - Naoki Nishida
AU  - Takahito Aoto
PY  - 2025
DO  - 10.1145/3756907.3756916
UR  - https://arxiv.org/abs/2507.09326
ID  - 2507.09326
ER  -