TY  - RPRT
TI  - Focus and Higher-Order Unification
AU  - Claire Gardent
AU  - Michael Kohlhase
PY  - 1996
UR  - https://arxiv.org/abs/cmp-lg/9605005
ID  - cmp-lg/9605005
ER  -