Romuald Debruyne Gérard Ferrand Narendra Jussien Willy Lesaint Samir Ouis Alexandre Tessier Correctness of Constraint Retraction Algorithms. 172-176 2003 conf/flairs/2003 FLAIRS Conference db/conf/flairs/flairs2003.html#DebruyneFJLOT03