by Ulrich Loup, Erika Ábrahám
Reference:
I-RiSC: an SMT-compliant solver for the existential fragment of real algebra (Ulrich Loup, Erika Ábrahám), Chapter in Algebraic Informatics, Springer Berlin Heidelberg, 2011.
Bibtex Entry:
@incollection{loup2011risc,
title={I-RiSC: an SMT-compliant solver for the existential fragment of real algebra},
author={Loup, Ulrich and {'A}brah{'a}m, Erika},
booktitle={Algebraic Informatics},
pages={230--246},
year={2011},
publisher={Springer Berlin Heidelberg}
}