Proof Compression via Subatomic Logic and Guarded Substitutions.

Victoria Barrett, Alessio Guglielmi, Benjamin Ralph, Lutz Straburger

Browse the full LICS paper archive.