1. Linear and quadratic complexity bounds on the values of the positive roots of polynomials;Akritas;J. Univers. Comput. Sci.,2009
2. On proving the absence of oscillations in models of genetic circuits;Boulier,2007
3. Implementierung eines Algorithmus zur Quantorenelimination fur lineare reelle Probleme;Burhenne,1990
4. Reasoning about Program Transformations;Collard,2003
5. Approaches to parallel quantifier elimination;Dolzmann,1998