Thomas Eiter Georg Gottlob Complexity of Propositional Knowledge Base Revision. 38-40 1992 conf/cnkbs/1992 CNKBS db/conf/cnkbs/cnkbs1992.html#EiterG92