%0 Journal Article %A S. Yu. Maslov %A V. P. Orevkov %T Decidable classes that reduce to a single quantifier class %J Trudy Matematicheskogo Instituta imeni V.A. Steklova %D 1972 %P 57-66 %V 121 %I mathdoc %U http://geodesic.mathdoc.fr/item/TM_1972_121_a3/ %G ru %F TM_1972_121_a3