1. Alferes, J.J., Pereira, L.M.: Logic programming updating - a guided approach. In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pp. 382–412. Springer, London (2002)
2. Balduccini, M., Gelfond, M.: Logic Programs with Consistency-Restoring Rules. In: Doherty, P., McCarthy, J., Williams, M.-A. (eds.) International Symposium on Logical Formalization of Commonsense Reasoning. AAAI 2003 Spring Symposium Series (March 2003)
3. Carballido, J., Osorio, M., Arrazola, J.: Equivalence in the G′3 −stable semantics. Accepted to appear in Research of Computing Science Journal (November 2007)
4. Lecture Notes in Artificial Intelligence;J. Delgrande,2007
5. Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of update sequences based on causal rejection. Theory and Practice of Logic Programming 2(6), 711–767 (2002)