Correctness of constraint retraction algorithms (2002)

by R Debruyne, G Ferrand, N Jussien, W Lesaint, S Ouis, A Tessier
Venue:LIFO, University of Orleans