Variant quantifier elimination
scientific article; zbMATH DE number 6037615
scientific article