https://animalistas.info/26269459-recent-advances-in-constraints-joint-ercim-co-log-net-international-workshop-on-constraint-solving-and-constraint-logic-programming-csclp-2005-uppsala-lecture-notes-in-ar-by-francesca-rossi.html