%0 Journal Article
%A Matusinski, Mickaël
%A Müller, Simon
%T Quantifier elimination for quasi-real closed fields
%J Comptes Rendus. Mathématique
%D 2021
%P 291-295
%V 359
%N 3
%I Académie des sciences, Paris
%U http://www.numdam.org/articles/10.5802/crmath.169/
%R 10.5802/crmath.169
%G en
%F CRMATH_2021__359_3_291_0