Constraint satisfaction in logic programming - Van Hentenryck, Pascal (Logic programming, 1989)