@inproceedings{reiter-1975-formal,
    title = "Formal Reasoning and Language Understanding System",
    author = "Reiter, Raymond",
    editor = "Nash-Webber, B.L.  and
      Schank, Roger",
    booktitle = "Theoretical Issues in Natural Language Processing",
    year = "1975",
    url = "https://preview.aclanthology.org/Add-Cong-Liu-Florida-Atlantic-University-author-id/T75-2035/"
}