Removing Cycles from Proofs. - Andrea Aler Tubella; Alessio Guglielmi; Benjamin Ralph (CSL, 2017)

A Natural Proof System for Herbrand's Theorem. - Benjamin Ralph (LFCS, 2018)

Towards a Combinatorial Proof Theory. - Benjamin Ralph; Lutz Straßburger (TABLEAUX, 2019)

Modular normalisation of classical proofs. - Benjamin Ralph (2019)

Herbrand Proofs and Expansion Proofs as Decomposed Proofs. - Benjamin Ralph (J. Log. Comput., 2020)

A Strictly Linear Subatomic Proof System. - Victoria Barrett; Alessio Guglielmi; Benjamin Ralph (CSL, 2025)

Proof Compression via Subatomic Logic and Guarded Substitutions. - Victoria Barrett; Alessio Guglielmi; Benjamin Ralph; Lutz Straßburger (CoRR, 2025)