Ralph Becket Maria J. García de la Banda Kim Marriott Zoltan Somogyi Peter J. Stuckey Mark Wallace Adding Constraint Solving to Mercury. 118-133 2006 conf/padl/2006 PADL http://dx.doi.org/10.1007/11603023_9 db/conf/padl/padl2006.html#BecketBMSSW06