1. Apel, J., 1988. Gröbnerbasen in nichtkommutativen Algebren und ihre Anwendung. Dissertation, Universität Leizipg
2. An extension of Buchberger’s algorithm and calculations in enveloping fields of Lie algebras;Apel;J. Symbolic Comput.,1988
3. The diamond lemma for ring theory;Bergman;Adv. Math.,1978
4. An introduction to effective calculus in quantum groups;Bueso,1998
5. An introduction to Noncommutative Gröbner bases;Green,1994