Title: Proof Theory and Automated Deduction
Subjects: Proof theory, Automatic theorem proving