Lower bounds for RAMs and quantifier elimination
scientific article; zbMATH DE number 6327015