@inproceedings{chrz-1982-application,
    title = "Application of Intensional Logic to Knowledge Representation",
    author = "Chrz, Tomas",
    booktitle = "{C}oling 1982 Abstracts: Proceedings of the {N}inth {I}nternational {C}onference on {C}omputational {L}inguistics Abstracts",
    year = "1982",
    url = "https://preview.aclanthology.org/Add-Cong-Liu-Florida-Atlantic-University-author-id/C82-2015/"
}