Thomas Eiter, Georg Gottlob. The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. In IJCAI. pages 526-533, 1993.
@inproceedings{EiterG93:1, title = {The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions}, author = {Thomas Eiter and Georg Gottlob}, year = {1993}, tags = {rule-based}, researchr = {https://researchr.org/publication/EiterG93%3A1}, cites = {0}, citedby = {0}, pages = {526-533}, booktitle = {IJCAI}, }