Cyclic Proofs for Arithmetical Inductive Definitions. - Anupam Das 002; Lukas Melgaard (FSCD, 2023)

Cyclic proof theory of positive inductive definitions. - Gianluca Curzi; Lukas Melgaard (CoRR, 2025)