Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster.

Carsten Lutz, Quentin Manire

Browse the full KR paper archive.