@misc{indiciaef8e3afa21acb,
  title = {Compression for Coinductive Rewriting and the Cut-Elimination of Non-Wellfounded Proofs},
  author = {Rémy Cerda and Alexis Saurin},
  year = {2026},
  doi = {10.4230/lipics.mfcs.2026.21},
  url = {https://arxiv.org/abs/2510.08420},
  note = {Source identifier: 2510.08420}
}