A Logic of Non-monotone Inductive Definitions and Its Modularity Properties.

Marc Denecker, Eugenia Ternovska

Browse the full LPNMR paper archive.