1. Higman, G. and Neumann, B. H., ?Groups as groupoids with one law?,Publicationes Mathematicae Debrecen 2, 215?227 (1952).
2. Hsiang, J. and Rusinowitch, M., ?On word problems in equational theories?, in T. Ottmann (ed),Proceedings of 14th ICALP, Lecture Notes in Computer Science, Vol. 267, Springer-Verlag, New York, 1987, pp. 54?71.
3. Kapur, D. and Zhang, H., ?Proving equivalence of different axiomatizations of free groups?,Journal of Automated Reasoning 4(3), 331?352 (1988).
4. Knuth, D. and Bendix, P., ?Simple word problems in universal algebras?, in J. Leech (ed),Computational Problems in Abstract Algebras, Pergamon Press, Oxford, 1970, pp. 263?297.
5. Kunen, K., Sept.?Oct. 1991, Correspondence by electronic mail.