TY  - JOUR
AU  - Mickaël Matusinski
AU  - Simon Müller
TI  - Quantifier elimination for quasi-real closed fields
JO  - Comptes Rendus. Mathématique
PY  - 2021
SP  - 291
EP  - 295
VL  - 359
IS  - 3
PB  - Académie des sciences, Paris
DO  - 10.5802/crmath.169
LA  - en
ID  - CRMATH_2021__359_3_291_0
ER  -