1. Alchourron, C.E., Gardenfors, P., Makinson, D.: On the logic of Theory Change, Partial Meet Functions for Contraction and Revision Functions. Journal of Symbolic Logic 50, 510–530 (1985)
2. Lecture Notes in Artificial Intelligence;J.J. Alferes,2002
3. Brewka, G., Dix, J., Knonolige, K.: Nonmonotonic Reasoning: An overview. CSLI Publication (ed.) Leland Stanford Junior University (1997)
4. Lecture Notes in Artificial Intelligence;T. Eiter,2000
5. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programs. In: Proceedings of the Fifth International Conference on Logic Programming 2, pp. 1070–1080. MIT Press, Cambridge