@misc{indiciaea44398d4bbe8,
  title = {Cyclic proofs for arithmetical inductive definitions},
  author = {Anupam Das and Lukas Melgaard},
  year = {2023},
  url = {https://arxiv.org/abs/2306.08535},
  note = {Source identifier: 2306.08535}
}