Some Uses of Higher-Order Logic in Computational Linguistics Dale A Miller author Gopalan Nadathur author 1986-07 text 24th Annual Meeting of the Association for Computational Linguistics Association for Computational Linguistics New York, New York, USA conference publication miller-nadathur-1986-uses 10.3115/981131.981165 https://aclanthology.org/P86-1037/ 1986-07 247 256