pdf bibSome Uses of Higher-Order Logic in Computational LinguisticsDale A. Miller | Gopalan Nadathur24th Annual Meeting of the Association for Computational Linguistics