UniCalc.LIN: a linear constraint solver for the UniCalc system
  In this short paper we present a linear constraint solver for the UniCalc system, an environment for reliable solution of mathematical modeling problems. 
E. Petrov, Yu. Kostov, E. Botoeva