Voir la notice de l'article provenant de la source Math-Net.Ru
@article{TRSPY_1973_129_a2, author = {A. O. Slisenko}, title = {Identification of the symmetry predicate by means of multihead {Turing} machines with input}, journal = {Informatics and Automation}, pages = {30--202}, publisher = {mathdoc}, volume = {129}, year = {1973}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/TRSPY_1973_129_a2/} }
A. O. Slisenko. Identification of the symmetry predicate by means of multihead Turing machines with input. Informatics and Automation, Problems of the constructive direction in mathematics. Part 6, Tome 129 (1973), pp. 30-202. http://geodesic.mathdoc.fr/item/TRSPY_1973_129_a2/