Presenting intuitive deductions via symmetric simplification (1990)

by Frank Pfenning , Dan Nesmith
Venue:In CADE-10: Proceedings of the tenth international conference on Automated deduction
Citations:16 - 5 self