@inproceedings{conf/cnkbs/EiterG92, title = "Complexity of Propositional Knowledge Base Revision", author = "Thomas Eiter and Georg Gottlob", year = "1992", booktitle = "{CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992}", editor = "G{\'e}rard Comyn and Matthias Jarke and Suryanarayana M. Sripada", pages = "38-40", publisher = "European Computer-Industry Research Centre, Munich", volume = "ECRC-92-2", }