@misc{indiciae2f197639f1f3,
  title = {The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions},
  author = {Yukihiro Oda and James Brotherston and Makoto Tatsuta},
  year = {2024},
  doi = {10.1093/logcom/exad068},
  url = {https://arxiv.org/abs/2106.11798},
  note = {Source identifier: 2106.11798}
}