Recognizing a symmetry predicate by multihead Turing machines with input (1973)

by A O Slisenko
Venue:Proceedings of the Steklov Institue of Mathematics, number 129