T. Eiter, M. Fink, G. Sabbatini, H. Tompits: "Reasoning about Evolving Nonmonotonic Knowledge Bases"; 2002.
http://www.kr.tuwien.ac.at/research/reports/rr0211.ps.gz