Some applications of Gentzen’s proof theory in automated deduction (0)

by M Beeson
Venue:In Schroeder-Heister (ed.), Extensions of Logic Programming, Lecture