@misc{indiciae823ef472a660,
  title = {Proof Compression via Subatomic Logic and Guarded Substitutions},
  author = {Victoria Barrett and Alessio Guglielmi and Benjamin Ralph and Lutz Straßburger},
  year = {2025},
  url = {https://arxiv.org/abs/2505.20009},
  note = {Source identifier: 2505.20009}
}