An Algorithm for Linear Constraint Solving: Its Incorporation in a Prolog Meta-Interpreter for CLP. - Jean-Louis Imbert; Jacques Cohen; Marie-Dominique Weeger (J. Log. Program., 1993)