@Unpublished{Brotherston-etal:25,
	author = "James Brotherston and Quang Loc Le and Gauri Desai and Yukihiro Oda",
	title = "Cyclic Proofs in {H}oare Logic and Its Reverse",
	note = "Submitted",
	year = 2025
}