K. R. Apt, The essence of constraint propagation, Theoretical Computer Science, vol.221, issue.1-2, pp.179-210, 1999.
DOI : 10.1016/S0304-3975(99)00032-8

F. Benhamou, Heterogeneous constraint solving, International Conference on Algebraic and Logic Programming, pp.62-76, 1996.
DOI : 10.1007/3-540-61735-3_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.4202

P. Berlandier and B. Neveu, Arc-consistency for dynamic constraint problems: A rms-free approach, Proceedings ECAI'94 Workshop on Constraint Satisfaction Issues raised by Practical Applications, 1994.

C. Bessì-ere, Arc consistency in dynamic constraint satisfaction problems, Proceedings AAAI'91, 1991.

P. Codognet, F. Fages, and T. Sola, A metalevel compiler of clp(fd) and its combination with intelligent backtracking, Constraint Logic Programming: Selected Research, Logic Programming, pp.437-456, 1993.

P. Cousot, C. , and R. , Automatic synthesis of optimal invariant assertions mathematical foundation, In Symposium on Artificial Intelligence and Programming Languages ACM SIGPLAN Not, vol.12, issue.8, pp.1-12, 1977.

R. Debruyne, Arc-consistency in dynamic CSPs is no more prohibitive, Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence, pp.299-306, 1996.
DOI : 10.1109/TAI.1996.560467

J. Doyle, A truth maintenance system, Artificial Intelligence, vol.12, issue.3, pp.231-272, 1979.
DOI : 10.1016/0004-3702(79)90008-0

F. Fages, J. Fowler, and T. Sola, A reactive constraint logic programming scheme, International Conference on Logic Programming, 1995.

F. Fages, J. Fowler, and T. Sola, Experiments in reactive constraint logic programming, Journal of Logic Programming, vol.37, pp.1-3185, 1998.

G. Ferrand, W. Lesaint, and A. Tessier, Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction, Electronic Notes in Theoretical Computer Science, vol.76, 2002.
DOI : 10.1016/S1571-0661(04)80788-6
URL : https://hal.archives-ouvertes.fr/hal-00459199

Y. Georget, P. Codognet, and F. Rossi, Constraint retraction in clp(fd): Formal framework and performance results, Constraints, vol.4, issue.1, pp.5-42, 1999.
DOI : 10.1023/A:1009893626769

N. Jussien, R. Debruyne, and P. Boizumault, Maintaining Arc-Consistency within Dynamic Backtracking, Principles and Practice of Constraint Programming number 1894 in Lecture Notes in Computer Science, pp.249-261, 2000.
DOI : 10.1007/3-540-45349-0_19
URL : https://hal.archives-ouvertes.fr/hal-00869126

N. Jussien, e-constraints: explanation-based constraint programming, CP01 Workshop on User-Interaction in Constraint Satisfaction, 2001.

F. Laburthe, Choco: implementing a cp kernel, CP00 Post Conference Workshop on Techniques for Implementing Constraint programming Systems (TRICS), 2000.

E. Tsang, Foundations of Constraint Satisfaction, 1993.