A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
real quantifier elimination and decision
scientific article; zbMATH DE number 6843901
scientific article