Automated Reasoning About Natural Language Correctness.

Wolfgang Menzel

Browse the full EACL paper archive.