О проблеме вхождения для расширений абелевых групп с помощью нильпотентных

Рассматривается многообразие $\mathfrak{UR}_c$ групп, являющихся расширениями абелевых групп с помощью нильпотентных ступени $\le c$ . Доказывается, что если группа задана в этом многообразии конечным числом образующих элементов и определяющих соотношений, то в ней алгоритмически разрешима проблема вхождения.
Библ. 6.