Constraint Satisfaction in Logic Programming - Van Hentenryck, Pascal, 1963- (Massachusetts Institute of Technology, 1989)