Automated Reasoning About Natural Language Correctness

Wolfgang Menzel. Automated Reasoning About Natural Language Correctness. In EACL. pages 46-51, 1987. [doi]

Abstract

Abstract is missing.