On the Complexity of Propositional Knowledge Base Revision‚ Updates‚ and Counterfactuals - Eiter, T; Gottlob, G (ACM Press, 1992)