Computing Polycyclic Quotients of Finitely (L-)Presented Groups via Groebner Bases
scientific article; zbMATH DE number 5785544