Computing Gröbner bases by FGLM techniques in a non-commutative setting
scientific article; zbMATH DE number 1538752