1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
2. Foo, N., Zhang, Y.: Towards generalized rule-based updates. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI’97), vol. 1, pp. 82–88. Morgan Kaufmann, San Francisco (1997)
3. Przymusinski, T., Turner, H.: Update by means of inference rules. Journal of Logic Programming 30, 125–143 (1997)
4. Zhang, Y., Foo, N.Y.: Updating logic programs. In: Proceedings of the Thirteenth European Conference on Artificial Intelligence (ECAI’98), pp. 403–407 (1998)
5. Alferes, J., et al.: Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming 45, 43–70 (2000)