@misc{indiciae202d3d948f70,
  title = {Cyclic Proofs, Hypersequents, and Transitive Closure Logic},
  author = {Anupam Das and Marianna Girlando},
  year = {2022},
  url = {https://arxiv.org/abs/2205.08616},
  note = {Source identifier: 2205.08616}
}