Focus and Higher-Order Unification Claire Gardent author Michael Kohlhase author 1996 text COLING 1996 Volume 1: The 16th International Conference on Computational Linguistics conference publication gardent-kohlhase-1996-focus https://aclanthology.org/C96-1073/ 1996