T. Eiter, M. Fink, G. Sabbatini, H. Tompits: "Reasoning about Evolving Nonmonotonic Knowledge Bases"; ACM Transactions on Computational Logic, 6 (2005), 2; 389 - 440.