PROOF THEORY AND AUTOMATES DEDUCTION - Goubault-Larrec,Jean; Mackie,Ian (Kluwer Academic Publishers, Dordrecht, 1997)
Keywords: Proof Theory; Automated Theorem Proving