Antonio J. Fernández Patricia M. Hill Constraint Solving on Lattices. 105-120 1999 conf/agp/1999 APPIA-GULP-PRODE db/conf/agp/agp1999.html#FernandezH99