Quantifier elimination for a class of exponential polynomial formulas
scientific article; zbMATH DE number 6378428
scientific article