@Article{Ratschan:01a,
  author =       {Stefan Ratschan},
  title =        {Approximate Quantified Constraint Solving by Cylindrical Box Decomposition},
  journal =      {Reliable Computing},
  year =         2002,
  volume =       8,
  number =       1,
  pages  =       {21--42}
}