pdf bibApplication of Intensional Logic to Knowledge RepresentationTomas ChrzColing 1982 Abstracts: Proceedings of the Ninth International Conference on Computational Linguistics Abstracts