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
Constraint Logic Programming using Eclipse, 2006. ,
DOI : 10.1017/CBO9780511607400
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. ,
A geometric constraint over k-dimensional objects and shapes subject to business rules, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00481539
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
SICStus Prolog User's Manual. Swedish Institute of Computer Science, release 4 edition, 2007. ,
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
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
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
Qcsp-solve : A solver for quantified constraint satisfaction problems [11] Business Rules Group. The business rules manifesto, IJCAI, pp.138-143, 2003. ,
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
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
The language of search, Journal of Artificial Intelligence Research, vol.29, pp.191-219, 2007. ,
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
From rules to constraint programs with the Rules2CP modelling language, 2008. ,
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=10.1.1.89.3664
A spatial logic based on regions and connection, p.370 ,
Tree-Manipulating Systems and Church-Rosser Theorems, Journal of the ACM, vol.20, issue.1, pp.160-187, 1973. ,
DOI : 10.1145/321738.321750
Constraint satisfaction in Logic Programming, 1989. ,
The OPL Optimization programming Language, 1999. ,