TY  - RPRT
TI  - UniCalc.LIN: a linear constraint solver for the UniCalc system
AU  - E. Petrov
AU  - Yu. Kostov
AU  - E. Botoeva
PY  - 2006
UR  - https://arxiv.org/abs/cs/0604038
ID  - cs/0604038
ER  -