1. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50(2), 510–530 (1985)
2. Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming 45(1-3), 43–70 (2000)
3. Cabalar, P., Ferraris, P.: Propositional theories are strongly equivalent to logic programs. Theory and Practice of Logic Programming 7(6) (2007)
4. Dalal, M.: Investigations into a theory of knowledge base revision: Preliminary report. In: Proc. of the 7th National Conference on Artificial Intelligence, AAAI 1988, pp. 475–479 (1988)
5. Delgrande, J.P., Schaub, T., Tompits, H., Woltran, S.: Belief revision of logic programs under answer set semantics. In: Proc. of the 11th International Conference on Principles of Knowledge Representation and Reasoning, KR 2008, pp. 411–421 (2008)