3 works on record
Goal-directed proof theory
Automated Reasoning
Automated Reasoning with Analytic Tableaux and Related Methods