@article{DBLP:journals/jcss/Ben-OrKR86,
  author    = {Michael Ben{-}Or and
               Dexter Kozen and
               John H. Reif},
  title     = {The Complexity of Elementary Algebra and Geometry},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {32},
  number    = {2},
  pages     = {251--264},
  year      = {1986},
  skipurl       = {https://doi.org/10.1016/0022-0000(86)90029-2},
  doi       = {10.1016/0022-0000(86)90029-2},
  timestamp = {Sat, 20 May 2017 00:25:56 +0200},
  biburl    = {https://dblp.org/rec/journals/jcss/Ben-OrKR86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Renegar92b,
  author    = {James Renegar},
  title     = {On the Computational Complexity and Geometry of the First-Order Theory
               of the Reals, Part {III:} {Q}uantifier Elimination},
  journal   = {J. Symb. Comput.},
  volume    = {13},
  number    = {3},
  pages     = {329--352},
  year      = {1992},
  skipurl       = {https://doi.org/10.1016/S0747-7171(10)80005-7},
  doi       = {10.1016/S0747-7171(10)80005-7},
  timestamp = {Wed, 17 May 2017 14:25:48 +0200},
  biburl    = {https://dblp.org/rec/journals/jsc/Renegar92b.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}