Неразрешимость теории булевых алгебр с автоморфизмом В.И. Мартьянов — 1982 Sibirskij matematiceskij zurnal
О теории абелевых групп с предикатами, выделяющими подгруппы, и операциями эндоморфизмов. В.И. Мартьянов; V.I. Mart'janov; V.I. Mart'ǎnov; V.I. Mart'yanov — 1975 Algebra i Logika