Optimization Problems and the Polynomial Hierarchy. - E. W. Leggett Jr.; Daniel J. Moore (Theor. Comput. Sci., 1981)