Equivalence of inductive definitions and cyclic proofs under arithmetic | IEEE Conference Publication | IEEE Xplore