Constraint Databases And Applications by B. Kuijpers