@misc{indiciaee5f80c99f8a8,
  title = {Cut-restriction: from cuts to analytic cuts},
  author = {Agata Ciabattoni and Timo Lang and Revantha Ramanayake},
  year = {2023},
  url = {https://arxiv.org/abs/2304.13657},
  note = {Source identifier: 2304.13657}
}