Natural language explanation of natural deduction proofs (1993)

by Andrew Edgar, Francis Jeffry Pelletier
Venue:Centre for Systems Science, Simon Fraser University