его же, Об алгоритмической неразрешимости проблемы тождества слов в теории групп

http://libmeta.ru/resource/mathenc/publication/p1757