Смежные классы в полициклической группе

Доказывается существование алгоритма, вычисляющего пересечение двух смежных классов в полициклической группе. Группа задается конечной системой образующих и соотношений, может быть, в многообразии разрешимых групп. Если пересечение смежных классов не пусто, то оно будет смежным классом по некоторой подгруппе. Алгоритм дает на выходе порождающее множество подгруппы и представитель класса.