@incollection{Gao_2013,
    doi = {10.1007/978-3-642-38574-2_14},
    url = {https://doi.org/10.1007%2F978-3-642-38574-2_14},
    year = {2013},
    publisher = {Springer Berlin Heidelberg},
    pages = {208--214},
    author = {Sicun Gao and Soonho Kong and Edmund M. Clarke},
    title = {{dReal}: An {SMT} Solver for Nonlinear Theories over the Reals},
    booktitle = {Automated Deduction {\textendash} {CADE}-24}
}

@incollection{Gao_2013, doi = {10.1007/978-3-642-38574-2_14}, url = {https://doi.org/10.1007%2F978-3-642-38574-2_14}, year = {2013}, publisher = {Springer Berlin Heidelberg}, pages = {208--214}, author = {Sicun Gao and Soonho Kong and Edmund M. Clarke}, title = {{dReal}: An {SMT} Solver for Nonlinear Theories over the Reals}, booktitle = {Automated Deduction {\textendash} {CADE}-24} }