APA (7th ed.) Citation

Takahata, K., Schöpf, J., Nishida, N., & Aoto, T. (2025). Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations (Full Version).

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Takahata, Kanta, et al. Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations (Full Version). 2025.