Transforming Matings into Natural Deduction Proofs," in 5th Conference on Automated Deduction, edited by (1980)

by Peter B Andrews
Venue:Les Arcs, France, Lecture Notes in Computer Science 87