A Trichotomy in the Complexity of Propositional Circumscription.

Gustav Nordh

Browse the full LPAR paper archive.