Equivalence of inductive definitions and cyclic proofs under arithmetic.

Stefano Berardi, Makoto Tatsuta

Browse the full LICS paper archive.