P. Balbiani, A. Herzig, N. Troquard, L. Cruz-filipe, L. Caroprese et al., Dynamic logic of propositional assignments: a well-behaved variant of PDL Optimizing computation of repairs from active integrity constraints Active integrity constraints for database consistency maintenance, Logic in Computer Science (LICS) FoIKS 2014, pp.361-380, 2009.

L. Caroprese, M. Truszczy´nskitruszczy´nski, L. Caroprese, M. Truszczynski, L. Caroprese et al., Declarative semantics for active integrity constraints Active integrity constraints and revision programming View updating through active integrity constraints, ICLP 2008 ICLP 2007, pp.269-283, 2007.

S. Doutre, A. Herzig, L. Perrussel, S. Flesca, S. Greco et al., Active integrity constraints Dynamic logic Handbook of Philosophical Logic Belief change operations: A short history of nearly everything, told in dynamic logic of propositional assignments Dynamic Logic: A dynamic logic of normative systems On the revision of planning tasks, International Conference on Principles of Knowledge Representation and Reasoning Proc. KR 2014 International Joint Conference on Artificial Intelligence (IJCAI) European Conference on Artificial Intelligence (ECAI) Mendelzon, A.O.: On the difference between updating a knowledge base and revising it, pp.143-152, 1984.

J. A. Allen, R. Fikes, E. P. Sandewall, A. C. Nayak, M. Pagnucco et al., Principles of Knowledge Representation and Reasoning Revision vs. update: Taking a closer look Propositional dynamic logic with local assignments Making things happen, Proc. 2nd Int. Conf.PNP + 96] Peppas,.: On the difference between updating a knowledge base and revising it, pp.387-394, 1985.