@article{perrucci:hal-01375410,
TITLE = {Elementary recursive quantifier elimination based on Thom encoding and sign determination},
AUTHOR = {Perrucci, Daniel and Roy, Marie-Fran{\c c}oise},
URL = {https://hal.science/hal-01375410},
JOURNAL = {Annals of Pure and Applied Logic},
PUBLISHER = {Elsevier Masson},
VOLUME = {168},
NUMBER = {8},
PAGES = {1588-1604},
YEAR = {2017},
DOI = {10.1016/j.apal.2017.03.001},
KEYWORDS = {Thom encoding ; Real closed fields ; Quantifier elimination ; Sign determination},
HAL_ID = {hal-01375410},
HAL_VERSION = {v1},
}