Marcus Schaefer: Graph Ramsey Theory and the Polynomial Hierarchy. STOC 1999: 592-601