@article{TVP_1975_20_2_a5,
     author = {G. P. Klimov and A. D. Kuz'min},
     title = {Invariant decision procedures},
     journal = {Teori\^a vero\^atnostej i ee primeneni\^a},
     pages = {309--331},
     publisher = {mathdoc},
     volume = {20},
     number = {2},
     year = {1975},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/TVP_1975_20_2_a5/}
}