The following publications are possibly variants of this publication:
- A logic of nonmonotone inductive definitionsMarc Denecker, Eugenia Ternovska. tocl, 9(2), 2008. [doi]
- Extending Classical Logic with Inductive DefinitionsMarc Denecker. cl 2000: 703-717 [doi]
- First Order Logic with Inductive Definitions for Model-Based Problem SolvingMaurice Bruynooghe, Marc Denecker, Miroslaw Truszczynski. aim, 37(3):69-80, 2016. [doi]
- Logic programming revisited: Logic programs as inductive definitionsMarc Denecker, Maurice Bruynooghe, V. Wiktor Marek. tocl, 2(4):623-654, 2001. [doi]