@inproceedings{Sturm_2011,
    doi = {10.1145/1993886.1993935},
    url = {https://doi.org/10.1145%2F1993886.1993935},
    year = {2011},
    month = {jun},
    publisher = {{ACM}},
    author = {Thomas Sturm and Ashish Tiwari},
    title = {Verification and synthesis using real quantifier elimination},
    booktitle = {Proceedings of the 36th international symposium on Symbolic and algebraic computation}
}

@inproceedings{Sturm_2011, doi = {10.1145/1993886.1993935}, url = {https://doi.org/10.1145%2F1993886.1993935}, year = {2011}, month = {jun}, publisher = {{ACM}}, author = {Thomas Sturm and Ashish Tiwari}, title = {Verification and synthesis using real quantifier elimination}, booktitle = {Proceedings of the 36th international symposium on Symbolic and algebraic computation} }