Equivalent Sets of Formulas for Circumscriptions.

Yves Moinard, Raymond Rolland

Browse the full ECAI paper archive.