TY  - RPRT
TI  - Exact Unification
AU  - Leonardo Cabrer
AU  - George Metcalfe
PY  - 2014
UR  - https://arxiv.org/abs/1410.5583
ID  - 1410.5583
ER  -