APA (7th ed.) Citation

Aoto, T., Nishida, N., & Schöpf, J. (2026). Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version).

Chicago Style (17th ed.) Citation

Aoto, Takahito, Naoki Nishida, and Jonas Schöpf. Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version). 2026.

MLA (9th ed.) Citation

Aoto, Takahito, et al. Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version). 2026.