"On the Complexity of Propositional Knowledge Base Revision, Updates, and ..."

Thomas Eiter, Georg Gottlob (1992)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics