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