@inproceedings{Hong_2009,
    doi = {10.1145/1576702.1576729},
    url = {https://doi.org/10.1145%2F1576702.1576729},
    year = {2009},
    month = {jul},
    publisher = {{ACM}},
    author = {Hoon Hong and Mohab Safey El Din},
    title = {Variant real quantifier elimination},
    booktitle = {Proceedings of the 2009 international symposium on Symbolic and algebraic computation}
}

@inproceedings{Hong_2009, doi = {10.1145/1576702.1576729}, url = {https://doi.org/10.1145%2F1576702.1576729}, year = {2009}, month = {jul}, publisher = {{ACM}}, author = {Hoon Hong and Mohab Safey El Din}, title = {Variant real quantifier elimination}, booktitle = {Proceedings of the 2009 international symposium on Symbolic and algebraic computation} }