Slim Abdennadher, Ulrich Geske, Dietmar Seipel: WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000. GMD Report 110, 2000