Application of Intensional Logic to Knowledge Representation Tomas Chrz author 1982 text Coling 1982 Abstracts: Proceedings of the Ninth International Conference on Computational Linguistics Abstracts conference publication chrz-1982-application https://aclanthology.org/C82-2015/ 1982