TY  - RPRT
TI  - Proof Compression via Subatomic Logic and Guarded Substitutions
AU  - Victoria Barrett
AU  - Alessio Guglielmi
AU  - Benjamin Ralph
AU  - Lutz Straßburger
PY  - 2025
UR  - https://arxiv.org/abs/2505.20009
ID  - 2505.20009
ER  -