Pascal Van Hentenryck Thierry Le Provost Incremental Search in Constraint Logic Programming. 257-276 1991 9 New Generation Comput. 3/4 db/journals/ngc/ngc9.html#HentenryckP91