Proof theory and automated deduction - Goubault-Larrecq, Jean (Dordrecht Kluwer Academic Publishers, 1997)