Quantifier elimination of the products of ordered abelian groups
scientific article; zbMATH DE number 5142564