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

Для позитивной теории свободной счетнопорожденной полугруппы построен разрешающий алгоритм с оценкой числа шагов, получающийся модификацией алгоритма из работы Г. С. Маканина “Проблема разрешимости уравнений в свободной полугруппе” (Матем. сб., 103(145) (1977), 147–236).
Библиография: 7 названий.