О решениях квадратичных уравнений в группах с условием малого сокращения

Для конечно определенных групп $G$, удовлетворяющих одному из условий $C(7)$, $C(5)\,\&\,T(4)$, $C(4)\,\&\,T(5)$, $C(3)\,\&\,T(7)$ по любому квадратичному уравнению $\Phi=1$ эффективно выписывается конечное множество уравнений в свободной группе, с точностью до равенства в группе $G$ описывающих все решения уравнения $\Phi=1$ в группе $G$. (Уравнение $\Phi=1$ в группе называется квадратичным, если каждая неизвестная, входящая в слово $\Phi$, входит в слово $\Phi$ ровно два раза.) Библиогр. 8 назв.