W. Lassner
-
Non-commutative Gröbner bases in algebras of solvable type
Journal of Symbolic Computation
Cited References
Computer algebra handbook