Nicolai Vorobjov The Complexity of Deciding Consistency of Systems of Polynomial in Exponent Inequalities. 139-174 1992 13 J. Symb. Comput. 2 db/journals/jsc/jsc13.html#Vorobjov92