A Sequent Calculus for Generalized Inductive Definitions. - Robbe Van den Eede; Robbe Van Biervliet; Marc Denecker (LPNMR, 2024)