@misc{indiciae8149832ff040,
  title = {UniCalc.LIN: a linear constraint solver for the UniCalc system},
  author = {E. Petrov and Yu. Kostov and E. Botoeva},
  year = {2006},
  url = {https://arxiv.org/abs/cs/0604038},
  note = {Source identifier: cs/0604038}
}