Constraints in Computational Logics: Theory and Applications International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures - Comon, Hubert; Comon, Hubert; Marche, Claude; Marche, Claude; Treinen, Ralf; Treinen, Ralf (Springer Berlin Heidelberg : Imprint: Springer, 2001)