1. An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras;Apel,1986
2. Computation of reduced Gröbner bases and syzygies in enveloping fields;Apel,1986
3. Computation and simplification in Lie fields;Apel,1987
4. The diamond lemma for ring theory;Bergman;Adv. in Math.,1978
5. An algorithm for finding a basis for a residue class ring of a zero-dimensional polynomial ideal. (German);Buchberger,1965