@misc{indiciae1e12c6757d15,
  title = {A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates},
  author = {Yukihiro Oda and Daisuke Kimura},
  year = {2025},
  url = {https://arxiv.org/abs/2203.05791},
  note = {Source identifier: 2203.05791}
}