Bibliography

LGM02

C. R. Leedham-Green and Scott H. Murray.
Variants of product replacement.
Contemp. Math., 298:97--104, 2002.

Lo98

Eddie H. Lo.
Finding intersections and normalizers in finitely generated nilpotent groups.
J. Symbolic Comput., 25(1):45--59, 1998.