A Nilpotent Quotient Algorithm for Certain Infinitely Presented Groups and its Applications. - Laurent Bartholdi; Bettina Eick; René Hartung (Int. J. Algebra Comput., 2008)

Approximating the Schur multiplier of certain infinitely presented groups via nilpotent quotients. - René Hartung (LMS J. Comput. Math., 2010)

Coset Enumeration for certain Infinitely Presented Groups. - René Hartung (Int. J. Algebra Comput., 2011)