J. Allen, Time and time again: The many ways to represent time, International Journal of Intelligent Systems, vol.6, issue.4, 1991.
DOI : 10.1002/int.4550060403

K. Apt and M. Wallace, Constraint Logic Programming using Eclipse, 2006.
DOI : 10.1017/CBO9780511607400

. Tom, Piggybacking rewriting on java, Proceedings of th 18th International Conference on Rewriting Techniques and Applications, RTA'07, number 4533 in Lecture Notes in Computer Science, 2007.

N. Beldiceanu, M. Carlsson, and J. Martin, A geometric constraint over k-dimensional objects and shapes subject to business rules, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00481539

N. Beldiceanu, M. Carlsson, E. Poder, R. Sadek, and C. Truchet, A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects, Proc. CP'2007, pp.180-194, 2007.
DOI : 10.1007/978-3-540-74970-7_15

URL : https://hal.archives-ouvertes.fr/hal-00481558

M. Carlsson, SICStus Prolog User's Manual. Swedish Institute of Computer Science, release 4 edition, 2007.

H. Carpenter and W. Dowsland, Practical Considerations of the Pallet-Loading Problem, Journal of the Operational Research Society, vol.36, issue.6, pp.489-497, 1985.
DOI : 10.1057/jors.1985.84

M. Garcia-de-la-banda, K. Marriott, R. Rafeh, and M. Wallace, The Modelling Language Zinc, Proceedings of the International Conference on Principles and Practice of Constraint Programming CP'06), pp.700-705
DOI : 10.1007/11889205_54

F. Fages, S. Soliman, and R. Coolen, CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming, Constraints, vol.9, issue.4, pp.241-262, 2004.
DOI : 10.1023/B:CONS.0000049203.53383.c1

URL : https://hal.archives-ouvertes.fr/hal-01431350

I. P. Gent, P. Nightingale, and K. Stergiou, Qcsp-solve : A solver for quantified constraint satisfaction problems [11] Business Rules Group. The business rules manifesto, IJCAI, pp.138-143, 2003.

R. Haemmerlé and F. Fages, Modules for Prolog Revisited, Proceedings of International Conference on Logic Programming ICLP 2006, number 4079 in Lecture Notes in Computer Science, pp.41-55, 2006.
DOI : 10.1007/11799573_6

D. Hofbauer, Termination proofs by multiset path orderings imply primitive recursive derivation lengths, Theoretical Computer Science, vol.105, issue.1, pp.129-140, 1992.
DOI : 10.1016/0304-3975(92)90289-R

URL : http://dx.doi.org/10.1016/0304-3975(92)90289-r

J. Huang and A. Darwiche, The language of search, Journal of Artificial Intelligence Research, vol.29, pp.191-219, 2007.

J. Jaffar and J. Lassez, Constraint logic programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.111-119
DOI : 10.1145/41625.41635

M. François-fagesjulien, From rules to constraint programs with the Rules2CP modelling language, 2008.

R. Rafeh, M. Garcia-de-la-banda, K. Marriott, and M. Wallace, From Zinc to Design Model, Proceedings of PADL'07, pp.215-229
DOI : 10.1007/978-3-540-69611-7_14

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

D. A. Randell, Z. Cui, and A. G. Cohn, A spatial logic based on regions and connection, p.370

B. K. Rosen, Tree-Manipulating Systems and Church-Rosser Theorems, Journal of the ACM, vol.20, issue.1, pp.160-187, 1973.
DOI : 10.1145/321738.321750

P. Van and H. , Constraint satisfaction in Logic Programming, 1989.

P. Van and H. , The OPL Optimization programming Language, 1999.