H. Katsuno and A. O. Mendelzon, Propositional knowledge base revision and minimal change, Artificial Intelligence, vol.52, issue.3, pp.263-294, 1992.
DOI : 10.1016/0004-3702(91)90069-V

A. Darwiche and J. Pearl, On the logic of iterated belief revision, Artificial Intelligence, vol.89, issue.1-2, pp.1-29, 1997.
DOI : 10.1016/S0004-3702(96)00038-0

J. Ma, W. Liu, and S. Benferhat, A belief revision framework for revising epistemic states with partial epistemic states, International Journal of Approximate Reasoning, vol.59, p.AAAI, 2010.
DOI : 10.1016/j.ijar.2015.01.003
URL : https://hal.archives-ouvertes.fr/hal-00867779

P. Gardenfors, Knowledge in Flux: Modeling the Dynamics of Epistemic States, 1988.

A. Grove, Two modellings for theory change, Journal of Philosophical Logic, vol.17, issue.2, pp.157-170, 1988.
DOI : 10.1007/BF00247909

C. Alchourron, P. Gardenfors, and D. Makinson, On the Logic of Theory Change: Partial Meet Contraction and Revision Functions, Journal of Symbolic Logic, vol.62, pp.510-530, 1985.
DOI : 10.1007/978-3-319-20451-2_13

M. Bienvenu, A. Herzig, and G. Qi, Prime implicate-based belief revision operators, Proceedings of the 2008 Conference on ECAI 2008: 18th European Conference on Artificial Intelligence, pp.741-742, 2008.

J. Marchi, G. Bittencourt, and L. Perrussel, Prime forms and minimal change in propositional belief bases, Annals of Mathematics and Artificial Intelligence, vol.7, issue.3, pp.1-45, 2010.
DOI : 10.1007/s10472-010-9206-x

A. Darwiche and P. Marquis, A knowledge compilation map, p.1819, 2011.

H. Katsuno and A. O. Mendelzon, A unified view of propositional knowledge base updates, Proceedings of IJCAI 1989, pp.1413-1419, 1989.

T. Eiter and G. Gottlob, On the complexity of propositional knowledge base revision, updates, and counterfactuals, Artificial Intelligence, vol.57, issue.2-3, pp.227-270, 1992.
DOI : 10.1016/0004-3702(92)90018-S

P. Liberatore and M. Schaerf, Belief Revision and Update: Complexity of Model Checking, AAAI/IAAI, pp.556-561, 1996.
DOI : 10.1006/jcss.2000.1698

K. Mcareavey, W. Liu, P. Miller, and C. Meenan, Tools for finding inconsistencies in real-world logic-based systems, In: STAIRS, pp.192-203, 2012.