Some applications of Gentzen's proof theory to automated deduction. Beeson, M. In Extensions of Logic Programming, volume 475, of Lecture Notes in Computer Science, pages 101-156. Springer-Verlag, 1991.
Some applications of Gentzen's proof theory to automated deduction [pdf]Pdf  bibtex   3 downloads  

Downloads: 3