Transforming Matings into Natural Deduction Proofs (1980)

by Peter B Andrews
Venue:Proc of 5 tn CADE