TY - JOUR AU - Krentel, Mark W. PY - 1992// TI - Generalizations of sf OptP to the polynomial hierarchy JO - Theoretical Computer Science SP - 183 EP - 198 VL - 97 ID - Krentel92 ER -