К проблеме вхождения элементов группы в подполугруппу

Доказана разрешимость алгоритмической проблемы вхождения элементов группы в подполугруппу, порожденную положительным алфавитом, для класса конечно определенных групп, удовлетворяющих классическому условию $C(6)$ и некоторому специальному условию $E(3)$. Исследуются вопросы о системе определяющих соотношений такой подполугруппы.
Библиография: 5 названий.