Алгоритм распознавания разрешимости уравнений с одним неизвестным в полугруппах с мерой налегания определяющих слов, меньшей 1 / 3 В.А. Осипова — 1973 Matematiceskij sbornik