Chandrajit L. Bajaj Geometric Optimization and the Polynomial Hierarchy. 87-102 1987 54 Theor. Comput. Sci. db/journals/tcs/tcs54.html#Bajaj87 http://dx.doi.org/10.1016/0304-3975(87)90020-X