%0 Journal Article %A N. N. Vorobjov (Jr.) %T Deciding consistency of systems of polynomial in exponent inequalities in subexponential time %J Zapiski Nauchnykh Seminarov POMI %D 1989 %P 3-52 %V 176 %I mathdoc %U http://geodesic.mathdoc.fr/item/ZNSL_1989_176_a0/ %G ru %F ZNSL_1989_176_a0