@misc{indiciae7ec166ccd1c6,
  title = {Equivalence of Intuitionistic Inductive Definitions and Intuitionistic Cyclic Proofs under Arithmetic},
  author = {Stefano Berardi and Makoto Tatsuta},
  year = {2017},
  url = {https://arxiv.org/abs/1712.03502},
  note = {Source identifier: 1712.03502}
}