@inproceedings{charniak-goldman-1988-logic,
    title = "A Logic for Semantic Interpretation",
    author = "Charniak, Eugene  and
      Goldman, Robert",
    booktitle = "26th Annual Meeting of the Association for Computational Linguistics",
    month = jun,
    year = "1988",
    address = "Buffalo, New York, USA",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/fix-sig-urls/P88-1011/",
    doi = "10.3115/982023.982034",
    pages = "87--94"
}