1. S. Bistarelli, 2001 . Soft constraint solving and programming: A general framework . Ph.D. Thesis , Dipartimento di Informatica, University of Pisa.
2. Semiring-based constraint satisfaction and optimization
3. M. Carlsson, and J. Widen . 1999 . SICStus Prolog User's Manual. Swedish Institute of Computer Science (SICS) . Available athttp://www.sics.se/sicstus/.
4. Compiling constraints in clp(FD)