Equivalent Sets of Formulas for Circumscriptions.

Yves Moinard Raymond Rolland Equivalent Sets of Formulas for Circumscriptions. 479-483 2000 conf/ecai/2000 ECAI db/conf/ecai/ecai2000.html#MoinardR00