Andreas Dolzmann, Thomas Sturm. Simplification of Quantifier-Free Formulae over Ordered Fields. Journal of Symbolic Computation, 24(2):209-231, 1997.
@article{DolzmannS97:0,
title = {Simplification of Quantifier-Free Formulae over Ordered Fields},
author = {Andreas Dolzmann and Thomas Sturm},
year = {1997},
researchr = {https://researchr.org/publication/DolzmannS97%3A0},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {24},
number = {2},
pages = {209-231},
}