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

by M Beeson
Venue:In Proceedings of the international workshop on Extensions of logic programming