Thomas Eiter Michael Fink Giuliana Sabbatini Hans Tompits Declarative Update Policies for Nonmonotonic Knowledge Bases. 85-129 2003 conf/dagstuhl/2003lead Logics for Emerging Applications of Databases db/conf/dagstuhl/lead2003.html#EiterFST03