TY  - RPRT
TI  - Elementary recursive quantifier elimination based on Thom encoding and sign determination
AU  - Daniel Perrucci
AU  - Marie-Françoise Roy
PY  - 2017
UR  - https://arxiv.org/abs/1609.02879
ID  - 1609.02879
ER  -