TY - RPRT TI - Higher-Order Coloured Unification and Natural Language Semantics AU - Claire Gardent AU - Michael Kohlhase PY - 1996 UR - https://arxiv.org/abs/cmp-lg/9605004 ID - cmp-lg/9605004 ER -