Donald Simon
Checking Natural Language Proofs
CADE, 1988.
@inproceedings{CADE-1988-Simon, author = "Donald Simon", booktitle = "{Proceedings of the Ninth International Conference on Automated Deduction}", doi = "10.1007/BFb0012829", isbn = "3-540-19343-X", pages = "141--150", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Checking Natural Language Proofs}", volume = 310, year = 1988, }