@article{Ratschan:1,
  author = 	 {Stefan Ratschan},
  title = 	 {Efficient Solving of Quantified Inequality Constraints over the Real Numbers},
  journal =      {ACM Transactions on Computational Logic},
  volume =       {7},
  number =       {4},
  pages =        {723--748},
  year =	 2006
}

@Misc{Ratschan:2,
  author = {Stefan Ratschan and others},
  title =  {RSolver},
  year =   {2004},
  howpublished = {\texttt{http://rsolver.sourceforge.net}},
  note =   {Software Package}
}