Constraint Databases And Applications door B. Kuijpers