On the counting complexity of propositional circumscription
scientific article; zbMATH DE number 5694927