Eiter, et al.. Reasoning About Evolving Nonmonotonic Knowledge Bases. 16 Sept. 2002.