1. Springer-Verlag Lecture Notes in Computer Science;B. Buchberger,1985
2. Springer-Verlag Lecture Notes in Computer Science;N. Dershowitz,1985
3. Grau, A., ?Ternary Boolean algebra?, Bulletin of the American Mathematical Society 53, 567?572 (1947).
4. Huet, G. and Oppen, D., ?Equations and rewrite rules: A survey?, pp. 349?405 in Formal Language Theory, Perspectives and Open Problems, ed. R. V. Book, Academic Press, New York (1978).
5. Knuth, D. and Bendix, P., ?Simple word problems in universal algebras?, pp. 263?297 in Computational Problems in Abstract Algebra, ed. J. Leech, Pergamon Press, New York (1970).