Presenting Intuitive Deductions via Symmetric Simplification (0)

by Frank Pfenning, Dan Nesmith
Venue:in 10th International Conference on Automated Deduction, edited by M. E. Stickel, Kaiserslautem, FRG, Lecture Notes in Artificial Intelligence 449, Springer-Veiiag