Information Processing Letters · 1991 · 24 citations · 12 references
12
∑11-Formulae on finite structures
Miklós Ajtai · Annals of Pure and Applied Logic · 1983 · 586 citations
Separating the polynomial-time hierarchy by oracles
Andrew Chi-Chih Yao · 1985 · 554 citations
Walter L. Ruzzo · Journal of Computer and System Sciences · 1981 · 434 citations