Dima Grigoriev Nicolai Vorobjov Solving Systems of Polynomial Inequalities in Subexponential Time. 37-64 1988 5 J. Symb. Comput. 1/2 db/journals/jsc/jsc5.html#GrigorevVV88