@inproceedings{menzel-1987-automated,
    title = "Automated Reasoning About Natural Language Correctness",
    author = "Menzel, Wolfgang",
    editor = "Maegaard, Bente",
    booktitle = "Third Conference of the {E}uropean Chapter of the Association for Computational Linguistics",
    month = apr,
    year = "1987",
    address = "Copenhagen, Denmark",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/E87-1008/"
}