TY  - RPRT
TI  - A Coq Formalization of Unification Modulo Exclusive-Or
AU  - Yichi Xu
AU  - Daniel J. Dougherty
AU  - Rose Bohrer
PY  - 2025
DO  - 10.4204/eptcs.416.23
UR  - https://arxiv.org/abs/2502.09225
ID  - 2502.09225
ER  -