%0 Journal Article %A G. P. Klimov %A A. D. Kuz'min %T Invariant decision procedures %J Teoriâ veroâtnostej i ee primeneniâ %D 1975 %P 309-331 %V 20 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/TVP_1975_20_2_a5/ %G ru %F TVP_1975_20_2_a5