@inproceedings{Renegar:1988:FPA:1398513.1398624,
    Address = {Washington, DC, USA},
    Author = {Renegar, J.},
    BookTitle = {Proceedings of the 29th Annual Symposium on Foundations of Computer Science},
    File = {021945 (0) - a - a - q.pdf},
    ISBN = {0-8186-0877-3},
    Keywords = {real polynomials, PSPACE algorithm, existential theory, decision problem, set, Boolean function, atomic predicates},
    Pages = {291--295},
    Publisher = {IEEE Computer Society},
    Series = {SFCS '88},
    Title = {A Faster PSPACE Algorithm for Deciding the Existential Theory of the Reals},
    URL = {https://doi.org/10.1109/SFCS.1988.21945},
    Year = {1988},
    acmid = {1398624},
    bdsk-url-1 = {https://doi.org/10.1109/SFCS.1988.21945},
    date-added = {2018-06-30 10:04:25 +0000},
    date-modified = {2018-06-30 10:04:25 +0000},
    numpages = {5},
    doi = {10.1109/SFCS.1988.21945}
}

@inproceedings{Renegar:1988:FPA:1398513.1398624, Address = {Washington, DC, USA}, Author = {Renegar, J.}, BookTitle = {Proceedings of the 29th Annual Symposium on Foundations of Computer Science}, File = {021945 (0) - a - a - q.pdf}, ISBN = {0-8186-0877-3}, Keywords = {real polynomials, PSPACE algorithm, existential theory, decision problem, set, Boolean function, atomic predicates}, Pages = {291--295}, Publisher = {IEEE Computer Society}, Series = {SFCS '88}, Title = {A Faster PSPACE Algorithm for Deciding the Existential Theory of the Reals}, URL = {https://doi.org/10.1109/SFCS.1988.21945}, Year = {1988}, acmid = {1398624}, bdsk-url-1 = {https://doi.org/10.1109/SFCS.1988.21945}, date-added = {2018-06-30 10:04:25 +0000}, date-modified = {2018-06-30 10:04:25 +0000}, numpages = {5}, doi = {10.1109/SFCS.1988.21945} }