1. J.APEL,W.LASSNER An algorithm for calculations in enveloping fields of Lie Algebras, Proc.of the Conf. on Computer Algebra,Dubna (1985)
2. G.M. BERGMAN The diamond lemma in ring theory, Adv.Math.29(1978),178–218
3. B.BUCHBERGER Dissertation,Univ.Innsbruck,1965
4. B.BUCHBERGER Gröbner bases: an algorithmic method in polynomial ideal theory, in N.K.BOSE Ed. Recent trends in multidimensional system theory, Reidel (1985)
5. B. BUCHBERGER A criterion for detecting unnecessary reductions in the construction of Gröbner bases, Proc.EUROSAM 79, L.N.Comp.Sci. 72 (1979),3–21