%0 Journal Article %A V. L. Selivanov %T Refining the polynomial hierarchy %J Algebra i logika %D 1999 %P 456-475 %V 38 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/AL_1999_38_4_a4/ %G ru %F AL_1999_38_4_a4