On the complexity of propositional knowledge base revision, updates, and counterfactuals
scientific article; zbMATH DE number 96253
scientific article