Jean-Louis Imbert Linear Constraint Solving in CLP-Languages 108-127 Constraint Programming journals/lncs/1994-910 1994 db/journals/lncs/lncs910.html#Imbert94