APA (7th ed.) Citation

Xu, Y., Dougherty, D. J., & Bohrer, R. (2025). A Coq Formalization of Unification Modulo Exclusive-Or.

Chicago Style (17th ed.) Citation

Xu, Yichi, Daniel J. Dougherty, and Rose Bohrer. A Coq Formalization of Unification Modulo Exclusive-Or. 2025.

MLA (9th ed.) Citation

Xu, Yichi, et al. A Coq Formalization of Unification Modulo Exclusive-Or. 2025.