2024-07-122024-07-122024-07-12https://infoscience.epfl.ch/handle/20.500.14299/238462Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003