@inproceedings{conf/ijcai/EiterG93,
  title = "The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions",
  author = "Thomas Eiter and Georg Gottlob",
  year = "1993",
  booktitle = "{IJCAI}",
  pages = "526-533",
}