Some Uses of Higher-Order Logic (1986)

by D Miller, G Nadathur
Venue:in Computational Linguistics, Proceedings of the 24th Annual Meeting of the Association for Computational Linguistics