TY  - RPRT
TI  - Nominal Unification from a Higher-Order Perspective
AU  - Jordi Levy
AU  - Mateu Villaret
PY  - 2010
DO  - 10.1145/2159531.2159532
UR  - https://arxiv.org/abs/1005.3731
ID  - 1005.3731
ER  -