Programming Constraint Services High-Level Programming of Standard and New Constraint Services - Schulte, Christian; Schulte, Christian (Springer Berlin Heidelberg : Imprint: Springer, 2002)