A note on separating the relativized polynomial time hierarchy by immune sets Ker-I Ko — 1990 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications