Связь между конструктивизируемостью и сильной конструктивизируемостью для различных классов абелевых групп. Н.Г. Хисамиев (1984) Algebra i Logika
Теория абелевых групп с конструктивными моделями Н.Г. Хисамиев (1986) Sibirskij matematiceskij zurnal
Формульность множества мальцевских баз и элементарные теории конечных алгебр. I А.Г. Мясников, В.Н. Ремесленников (1982) Sibirskij matematiceskij zurnal
Формульность множества мальцевских баз и элементарные теории конечномерных алгебр. II А.Г. Мясников, В.Н. Ремесленников (1983) Sibirskij matematiceskij zurnal
Элементарная теория абелевых групп без кручения с предикатами, выделяющими подгруппу. Г.Т. Козлов, G.T. Kozlov (1969) Algebra i Logika