The complexity of propositional closed world reasoning and circumscription
scientific article; zbMATH DE number 598091
scientific article