@misc{indiciae16ed70629a59,
  title = {Infinitary and Cyclic Proof Systems for Transitive Closure Logic},
  author = {Liron Cohen and Reuben N. S. Rowe},
  year = {2018},
  url = {https://arxiv.org/abs/1802.00756},
  note = {Source identifier: 1802.00756}
}