On the Transformation of Object-Oriented Conceptual Models to Logical Theories. - Pieter Bekaert; Bert Van Nuffelen; Maurice Bruynooghe; David Gilis; Marc Denecker (ER, 2002)

Compositionally results for stratified nonmonotone operators. - David Gilis; Marc Denecker (NMR, 2002)

Splitting an Operator. - Joost Vennekens; David Gilis; Marc Denecker (ICLP, 2004)

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

Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic. - Joost Vennekens; David Gilis; Marc Denecker (NMR, 2004)

Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. - Joost Vennekens; David Gilis; Marc Denecker (ACM Trans. Comput. Log., 2006)

Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics. - Joost Vennekens; David Gilis; Marc Denecker (ACM Trans. Comput. Log., 2007)