@inproceedings{conf/pods/EiterG92,
  title = "On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals",
  author = "Thomas Eiter and Georg Gottlob",
  year = "1992",
  booktitle = "{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",
  url = "http://www.informatik.uni-trier.de/~ley/db/conf/pods/EiterG92.html",
  doi = "10.1145/137097.137886",
}