On the Complexity of Propositional Knowledge Base Revision‚ Updates‚ and Counterfactuals
Thomas Eiter and Georg Gottlob
Journal
Artif. Intell.
Number
2−3
Pages
227−270
Volume
57
Year
1992
Thomas Eiter and Georg Gottlob