@misc{indiciae35c74ecdde7e,
  title = {Cyclic Proofs in Hoare Logic and its Reverse},
  author = {James Brotherston and Quang Loc Le and Gauri Desai and Yukihiro Oda},
  year = {2026},
  doi = {10.46298/entics.16696},
  url = {https://arxiv.org/abs/2504.14283},
  note = {Source identifier: 2504.14283}
}