Analytic and Non-analytic Proofs," in 7th International Conference on Automated Deduction, edited by (1984)

by Frank Pfenning
Venue:Lecture Notes in Computer Science 170