Automated Reasoning About Natural Language Correctness Wolfgang Menzel author 1987-04 text Third Conference of the European Chapter of the Association for Computational Linguistics Bente Maegaard editor Association for Computational Linguistics Copenhagen, Denmark conference publication menzel-1987-automated https://aclanthology.org/E87-1008/ 1987-04