On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals

Thomas Eiter, Georg Gottlob. On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. Artificial Intelligence, 57(2-3):227-270, 1992.

Abstract

Abstract is missing.