On the Complexity of Propositional Knowledge Base Revision‚ Updates‚ and Counterfactuals
Thomas Eiter and Georg Gottlob
Book Title
Proceedings of the Eleventh ACM SIGACT−SIGMOD−SIGART Symposium on Principles of Database Systems‚ June 2−4‚ 1992‚ San Diego‚ California
ISBN
0−89791−519−4
Pages
261−273
Publisher
ACM Press
Year
1992