On simplification of formulas with unconstrained variables and quantifiers
scientific article; zbMATH DE number 6807237