%0 Journal Article
%A Raf Cluckers
%A Immanuel Halupczok
%T Quantifier elimination in ordered abelian groups

%J Confluentes Mathematici
%D 2011
%P 587-615
%V 3
%N 4
%I World Scientific Publishing Co Pte Ltd
%U https://cml.centre-mersenne.org/articles/10.1142/S1793744211000473/
%R 10.1142/S1793744211000473
%G en
%F CML_2011__3_4_587_0