References
- Bergman , G M . 1978 . The Diamond Lemma for Ring Theory . Adv. Math. , 29 : 178 – 218 .
- Bokut’ , L A . 1976 . Embeddings into simple associative algebras (Russian) . Algebra i Logika , 15 ( 2 ) : 117 – 142 . and 245. English translation in Algebra and Logic, pp. 73–90
- Bokut’ , L A and Kolesnikov , P S . 2000 . Gröbner–Shirshov bases: from inception to the present time. (Russian. English, Russian summary) . Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) , 272 Vopr. Teor. Predst. Algebr i Grupp. 7, 26–67, 345; translation in J. Math. Sci. (N. Y.) 116 (2003), no. (1) 2894–2916
- Buchberger , B . 1965 . Ein Algorithmus zum Auffinden der Basiselemente der Restklassenringes nach einem nulldimensionalen Polynomideal , Doctoral Dissertation, University of Innsbruck, Institute for Mathematics . (German: An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-Dimensional Polynomial Ideal)
- Buchberger , B . 1998 . “ Introduction to Gröbner Bases ” . In Gröbner bases and applications, London Math. Soc. Lecture Note Ser. , Vol. 251 , 3 – 31 . Cambridge Univ. Press .
- Cohn , P M . 1965 . Universal Algebra , New York–London : Harper & Row Publishers .
- Hellström L, The Diamond Lemma for Power Series Algebras (doctorate thesis), 2002; ISBN 91-7305-327-9; http://abel.math.umu.se/˜lars/diamond/thesis.pdf (http://abel.math.umu.se/~lars/diamond/thesis.pdf) or http://abel.math.umu.se/˜lars/diamond/thesis.ps.gz (http://abel.math.umu.se/~lars/diamond/thesis.ps.gz)
- Knuth , D E and Bendix , P B . 1970 . “ Simple word problems in universal algebras ” . In Computational Problems in Abstract Algebra (Proc. Conf., Oxford, 1967) , Edited by: Leech , J . 263 – 297 . Oxford : Pergamon . Also in Automation of Reasoning Vol. 2, Editors: Siekmann J H and Wrightson G, Springer, 1983 342-376; ISBN 3-540-12044-0.