"Relativized polynomial hierarchies extending two levels."

Hans Heller (1981)
a service of Schloss Dagstuhl - Leibniz Center for Informatics