A Formula Circumscriptively both Valid and Unprovable. - Philippe Besnard; Jean Houdebine; Raymond Rolland (ECAI, 1988)

Unexpected and Unwanted Results of Circumscription. - Yves Moinard; Raymond Rolland (AIMSA, 1990)

Circumscription and Definability. - Yves Moinard; Raymond Rolland (IJCAI, 1991)

Around a Powerful Property of Circumscriptions. - Yves Moinard; Raymond Rolland (JELIA, 1994)

Preferential Entailments for Circumscriptions. - Yves Moinard; Raymond Rolland (KR, 1994)

Smallest Equivalent Sets for Finite Propositional Formula Circumscription. - Yves Moinard; Raymond Rolland (Computational Logic, 2000)

Equivalent Sets of Formulas for Circumscriptions. - Yves Moinard; Raymond Rolland (ECAI, 2000)

Characterizations of Preferential Entailments. - Yves Moinard; Raymond Rolland (Log. J. IGPL, 2002)