Donald Simon: Checking Natural Language Proofs. CADE 1988: 141-150