%0 Journal Article
%A A. O. Slisenko
%T Identification of the symmetry predicate by means of multihead Turing machines with input
%J Informatics and Automation
%D 1973
%P 30-202
%V 129
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TRSPY_1973_129_a2/
%G ru
%F TRSPY_1973_129_a2