A Methodological View of Constraint Solving (1999)

by H Comon, M Dincbas, J-P Jouannaud, C Kirchner
Venue:Constraints Journal