1. W. Plesken and A. Fabiańska, An L2-quotient algorithm for finitely presented groups, J. Algebra 322 (2009), no. 3, 914–935.[MR/doi]