UniCalc.LIN: a linear constraint solver for the UniCalc system - Evgueni Petrov; Yuri Kostov; Elena Botoeva (CoRR, 2006)