[Chenouard, Granvilliers, and Soto 2008] Chenouard, R.;
Granvilliers, L.; and Soto, R. 2008. Model-Driven Constraint Programming. In *ACM SIGPLAN PPDP*, 236–246.

[Diaz and Codognet 2000] Diaz, D., and Codognet, P.

2000. The GNU Prolog System and its Implementation. In *SAC 2000*, 728–732.

[Duck, Stuckey, and Brand 2006] Duck, G. J.; Stuckey, P. J.; and Brand, S. 2006. ACD Term Rewriting. In *ICLP*, 117–131.

[Frisch et al. 2005] Frisch, A.; Jefferson, C.; MartinezHernandez, B.; and Miguel, I. 2005. The Rules of Constraint Modelling. In *IJCAI*, 109–116.

[Frisch et al. 2007] Frisch, A. M.; Grum, M.; Jefferson, C.;
Hern´andez, B. M.; and Miguel., I. 2007. The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. In *IJCAI*, 80–87.

[Fr¨uhwirth 2009] Fr¨uhwirth, T. 2009. *Constraint Handling* Rules. Cambridge University Press. to appear.

[Gent, Jefferson, and Miguel 2006] Gent, I. P.; Jefferson, C.; and Miguel, I. 2006. Minion: A Fast Scalable Constraint Solver. In *ECAI*, 98–102.

[Granvilliers and Benhamou 2006] Granvilliers, L., and Benhamou, F. 2006. Algorithm 852: RealPaver: an Interval Solver Using Constraint Satisfaction Techniques. ACM
Trans. Math. Softw. 32(1):138–156.

[Jouault and B´ezivin 2006] Jouault, F., and B´ezivin, J.

2006. KM3: A DSL for Metamodel Specification. In FMOODS, LNCS 4037, 171–185.

[Jouault, B´ezivin, and Kurtev 2006] Jouault, F.; B´ezivin, J.;
and Kurtev, I. 2006. TCS: a DSL for the Specification of Textual Concrete Syntaxes in Model Engineering. In ACM
GPCE, 249–254.

[Kurtev, van den Berg, and Jouault 2007] Kurtev, I.;
van den Berg, K.; and Jouault, F. 2007. Rule-based Modularization in Model Transformation Languages Illustrated with ATL. *Science of Computer Programming,*
68(3):138–154.

[Muller, Fleurey, and J´ez´equel 2005] Muller, P.-A.;
Fleurey, F.; and J´ez´equel, J.-M. 2005. Weaving Executability into Object-Oriented Meta-Languages. In L. Briand, S. K., ed., *Proceedings of MODELS/UML*, LNCS 3713, 264–278.

[Nethercote et al. 2007] Nethercote, N.; Stuckey, P. J.;
Becket, R.; Brand, S.; Duck, G. J.; and Tack, G. 2007.

MiniZinc: Towards A Standard CP Modelling Language.

In CP, LNCS 4741, 529–543.

[Puget 1994] Puget, J. 1994. A C++ Implementation of CLP. In *SPICIS*.

[Schulte and Tack 2006] Schulte, C., and Tack, G. 2006.

Views and Iterators for Generic Constraint Implementations. In *Recent Advances in Constraints (2005)*, LNCS
3978, 118–132.

[Soto and Granvilliers 2007] Soto, R., and Granvilliers, L.

2007. The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models. In *IEEE ICTAI*, 243–250.

[Van Hentenryck et al. 1999] Van Hentenryck, P.; Michel, L.; Perron, L.; and R´egin, J.-C. 1999. Constraint Programming in OPL. In *PPDP*, LNCS 1702, 98–116.

[Van Hentenryck, Michel, and Deville 1997] Van Hentenryck, P.; Michel, L.; and Deville, Y. 1997. Numerica: a Modeling Language for Global Optimization. MIT Press.