Yan Georget Philippe Codognet Francesca Rossi Implementing Constraint Retraction for Finite Domains. 136-150 1997 conf/asian/1997 ASIAN db/conf/asian/asian97.html#GeorgetCR97