Quantifier elimination for lexicographic products of ordered abelian groups
scientific article; zbMATH DE number 5620707