А.И. Мальцев
Итеративные алгебры и многообразия Поста, 5—24.
Ю.Ш. Гуревич
Об эффективном распознавании выполнимости формул УИП, 25—55.
Е.Н.Кузьмин
О некоторых классах алгебр с делением, 57—102.