TY  - RPRT
TI  - Quantifier elimination for quasi-real closed fields
AU  - Mickaël Matusinski
AU  - Simon Müller
PY  - 2020
UR  - https://arxiv.org/abs/2005.12681
ID  - 2005.12681
ER  -