@article{,
  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
}