@article{Davenport_1988,
    doi = {10.1016/s0747-7171(88)80004-x},
    url = {https://doi.org/10.1016%2Fs0747-7171%2888%2980004-x},
    year = {1988},
    month = {feb},
    publisher = {Elsevier {BV}},
    volume = {5},
    number = {1-2},
    pages = {29--35},
    author = {James H. Davenport and Joos Heintz},
    title = {Real quantifier elimination is doubly exponential},
    journal = {Journal of Symbolic Computation}
}

@article{Davenport_1988, doi = {10.1016/s0747-7171(88)80004-x}, url = {https://doi.org/10.1016%2Fs0747-7171%2888%2980004-x}, year = {1988}, month = {feb}, publisher = {Elsevier {BV}}, volume = {5}, number = {1-2}, pages = {29--35}, author = {James H. Davenport and Joos Heintz}, title = {Real quantifier elimination is doubly exponential}, journal = {Journal of Symbolic Computation} }