Constraint satisfaction in logic programming by Pascal Van Hentenryck | Menrva Books | MenrvaBooks