Cyclic Proofs in Hoare Logic and its Reverse. - James Brotherston; Quang Loc Le; Gauri Desai; Yukihiro Oda (CoRR, 2025)