APA (7th ed.) Citation

Caires-Santos, A. K., Fernández, M., & Nantes-Sobrinho, D. (2025). Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version).

Chicago Style (17th ed.) Citation

Caires-Santos, Ali K., Maribel Fernández, and Daniele Nantes-Sobrinho. Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version). 2025.

MLA (9th ed.) Citation

Caires-Santos, Ali K., et al. Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version). 2025.