Proof theory and automated deduction - Goubault-Larrecq, Jean (Applied logic series ;, 1997)