Some applications of Gentzen’s proof theory to automated deduction (1991)

by M Beeson
Venue:Extensions of Logic Programming, Lecture Notes in Computer Science 475