Natural Language Explanation of Natural Deduction Proofs (1993)

by A Edgar, Francis Pelletier
Venue:Simon Fraser University