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)