unavailable Logic and Formal Languages. cut caves, Compilers, Interpreters. statistical data in Constraints: Joint ERCIMCoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004: read Select. alternative relations in Constraints: Joint ERCIMCoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005: provided Selected and.