T. Eiter, M. Fink, G. Sabbatini, H. Tompits: "Declarative Update Policies for Nonmonotonic Knowledge Bases (INFSYS RR-1843-02-07)"; Report for Institut f. Informationssysteme, TU Wien; 2002.