A note on separating the relativized polynomial time hierarchy by immune sets

Ko, Ker-I

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 24 (1990) p. 229-240