Linear quantifier elimination
scientific article; zbMATH DE number 5797498
scientific article