@article{Jovanovi__2013,
    doi = {10.1145/2429135.2429155},
    url = {https://doi.org/10.1145%2F2429135.2429155},
    year = {2013},
    month = {jan},
    publisher = {Association for Computing Machinery ({ACM})},
    volume = {46},
    number = {3/4},
    pages = {104--105},
    author = {Dejan Jovanovi{\'{c}} and Leonardo de Moura},
    title = {Solving non-linear arithmetic},
    journal = {{ACM} Communications in Computer Algebra}
}

@article{Jovanovi__2013, doi = {10.1145/2429135.2429155}, url = {https://doi.org/10.1145%2F2429135.2429155}, year = {2013}, month = {jan}, publisher = {Association for Computing Machinery ({ACM})}, volume = {46}, number = {3/4}, pages = {104--105}, author = {Dejan Jovanovi{\'{c}} and Leonardo de Moura}, title = {Solving non-linear arithmetic}, journal = {{ACM} Communications in Computer Algebra} }