On the Relation Between ID-Logic and Answer Set Programming. - Maarten Mariën; David Gilis; Marc Denecker (JELIA, 2004)

Satisfiability Checking for PC(ID). - Maarten Mariën; Rudradeb Mitra; Marc Denecker; Maurice Bruynooghe (LPAR, 2005)

Predicate Introduction Under Stable and Well-Founded Semantics. - Johan Wittocx; Joost Vennekens; Maarten Mariën; Marc Denecker; Maurice Bruynooghe (ICLP, 2006)

Integrating Inductive Definitions in SAT. - Maarten Mariën; Johan Wittocx; Marc Denecker (LPAR, 2007)

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. - Joost Vennekens; Johan Wittocx; Maarten Mariën; Marc Denecker (Fundam. Informaticae, 2007)

Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic. - Joost Vennekens; Johan Wittocx; Maarten Mariën; Marc Denecker (Fundam. Informaticae, 2007)

Grounding with Bounds. - Johan Wittocx; Maarten Mariën; Marc Denecker (AAAI, 2008)

Approximate Reasoning in First-Order Logic Theories. - Johan Wittocx; Maarten Mariën; Marc Denecker (KR, 2008)

SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. - Maarten Mariën; Johan Wittocx; Marc Denecker; Maurice Bruynooghe (SAT, 2008)

Model Generation for ID-Logic (Modelgeneratie voor ID-logica) ; Model Generation for ID-Logic. - Maarten Mariën (2009)

Grounding FO and FO(ID) with Bounds. - Johan Wittocx; Maarten Mariën; Marc Denecker (J. Artif. Intell. Res., 2010)

Lifted Unit Propagation for Effective Grounding - Pashootan Vaezipoor; David G. Mitchell; Maarten Mariën (CoRR, 2011)