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:15 - 4 self