Van Hentenryck, Pascal. Constraint satisfaction in logic programming / by Pascal Van Hentenryck. - Cambridge, Mass. : The MIT Press, 1989. - ix, 224 p. - Logic Programming. . Includes index. ISBN: 0262081814 Subjects--Topical Terms: Logic programming.