Hentenryck, Constraint satisfaction in logic programming (1989)

by P van