1. Sergei I. Adian. Classifications of periodic words and their applicaion in group theory. In J. L. Mennicke, editor, Proceedings of a Workshop on Burnside Groups, pages 1–40, Bielefeld, Germany, 1977. Vol. 806 of Lecture Notes in Mathematics, Springer-Verlag, Berlin.
2. Sergei I. Adian. The Burnside Problem and Identities in Groups. Springer-Verlag, Berlin, 1979. Translated from the Russian.
3. S. E. Ařson. Proof of the existence of n-valued infinite asymmetric sequences. Matematicheskii Sbornik, 2(44):769–779, 1937.
4. Leo Bachmair and Nachum Dershowitz. Equational inference, canonical proofs, and proof orderings. J. of the Association for Computing Machinery, 199? To appear. Available as Technical Report DCS-R-92-1746, Department of Computer Science, University of Illinois, Urbana, IL.
5. Benjamin Benninghofen, Susanne Kemmerich, and Michael M. Richter. Systems of Reductions, volume 277 of Lecture Notes in Computer Science. Springer, Berlin, 1987.