Hentenryck, Constraint Satisfaction in Logic Progrumming (1989)

by P Van