Pascal Van Hentenryck Incremental Constraint Satisfaction in Logic Programming. 189-202 1990 ICLP db/conf/iclp/iclp90.html#Hentenryck90