TY  - RPRT
TI  - A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints
AU  - Sunil Kothari
AU  - James Caldwell
PY  - 2010
DO  - 10.4204/eptcs.42.3
UR  - https://arxiv.org/abs/1012.4892
ID  - 1012.4892
ER  -