Proof Theory And Automated Deduction by Jean Goubault-Larrecq & Ian MacKie