Cyclic Proofs for Arithmetical Inductive Definitions.

Anupam Das, Lukas Melgaard

Browse the full FSCD paper archive.