https://animalistas.info/26269468-recent-advances-in-constraints-12th-annual-ercim-international-workshop-on-constraint-solving-and-contraint-logic-programming-csclp-2007-rocquencourt-lecture-notes-in-arti-by-francesca-rossi.html