by Erika Ábrahám, Ulrich Loup, Florian Corzilius, Thomas Sturm
Reference:
A lazy SMT-solver for a non-linear subset of real algebra (Erika Ábrahám, Ulrich Loup, Florian Corzilius, Thomas Sturm), In Proc. of SMT, 2010.
Bibtex Entry:
@article{abraham2010lazy, title={A lazy SMT-solver for a non-linear subset of real algebra}, author={{'A}brah{'a}m, Erika and Loup, Ulrich and Corzilius, Florian and Sturm, Thomas}, journal={Proc. of SMT}, year={2010} }