Базис пересечения подгрупп свободной группы

[Sonic86]

Как найти базис пересечения подгрупп свободной группы в общем случае? Группы даны явно своими базисами.
Есть в Богопольском метод поиска базиса пересечения через $s$-графы, однако, число вершин графа - индекс подгруппы в группе. Если индекс бесконечен, то применять метод несколько затруднительно - нужно искать декартово произведение графов, один из которых бесконечен. Тем более, что с другой стороны, $\operatorname{rk}(H_1\cap H_2)-1\leqslant (\operatorname{rk}H_1-1)(\operatorname{rk}H_2-1)$, а значит быть может есть какой-то конечный метод?
Я просто не все книжки читал - лучше из книжки, поскольку метод вряд ли простой...