@misc{indiciaefb3dba3e2e27,
  title = {The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them},
  author = {Ekaterina Komendantskaya and Dmitry Rozplokhas and Henning Basold},
  year = {2020},
  url = {https://arxiv.org/abs/2008.03714},
  note = {Source identifier: 2008.03714}
}