Constraint satisfaction in logic programming - Van Hentenryck, Pascal (Cambridge, Mass. : MIT Press, 1989)
Includes bibliographical references and index
Keywords: Logic programming; Constraint programming (Computer science)