An \(L_2\)-quotient algorithm for finitely presented groups.
scientific article; zbMATH DE number 5610512
scientific article