TY  - RPRT
TI  - Corrections and Higher-Order Unification
AU  - Claire Gardent
AU  - Michael Kohlhase
AU  - Noor van Neusen
PY  - 1996
UR  - https://arxiv.org/abs/cmp-lg/9609001
ID  - cmp-lg/9609001
ER  -