Hentenryck, Pascal Van Constraint satisfaction in logic programming Pascal Van Hentenryck - Cambridge MIT 1989 - xvi, 224p. - Logic programming . ISBN: 262081814