Checking natural language proofs (1988)

by D L Simon
Venue:In 9th International Conference on Automated Deduction (CADE-9