A Methodological View of Constraint Solving (1996)

by Hubert Comon, Mehmet Dincbas, Jean-pierre Jouannaud, Claude Kirchner