4 works on record
Structural proof theory
Mathesis Universalis, Computability and Proof
Automated Reasoning with Analytic Tableaux and Related Methods
Proof Analysis