Programming constraint services high level programming of standard and new constraint services - Schulte, Christian 1967- (Springer, 2002)