On simplification of formulas with unconstrained variables and quantifiers

From MaRDI portal
Publication:1680265