"A Dichotomy in the Complexity of Propositional Circumscription."

Lefteris M. Kirousis, Phokion G. Kolaitis (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics