Constraints in computational logics : theory and applications : International Summer School, CCL '99 : Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures - Comon, Hubert, 1957-; Marché, Claude; Treinen, Ralf (Lecture notes in computer science ;, 2001)