Разрешимость универсальной теории свободной полугруппы А.Д. Тайманов; Ю.И. Хмелевский — 1980 Sibirskij matematiceskij zurnal