1. Buchberger, B.: An algorithm for finding a basis for the residue class ring of a zero-dimensional ideal. Ph.D. Thesis, University of Innsbruck (1965)
2. Bergman, G.M.: The diamond lemma for ring theory. Adv. Math. 29, 178–218 (1978)
3. Shirshov, A.I.: Some algorithmic problems for Lie algebras. Sib. Math. J. 3, 292–296 (1962)
4. Wolf, S.: The Hall Algebra and the Composition Monoid.
arXiv:0907.1106
5. Reineke, M.: Generic extensions and multiplicative bases of quantum groups at $$q=0$$. Represent. Theory 5, 147–163 (2001)