@misc{indiciae54cc7db57290,
  title = {Cyclic proofs in the equational version of Primitive recursive arithmetic},
  author = {Daniyar Shamkanov},
  year = {2026},
  url = {https://arxiv.org/abs/2606.07166},
  note = {Source identifier: 2606.07166}
}