Applying Term Rewriting Methods to Finite Groups

Reinhard Bündgen. Applying Term Rewriting Methods to Finite Groups. In Hélène Kirchner, Wolfgang Wechler, editors, Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings. Volume 463 of Lecture Notes in Computer Science, pages 332-346, Springer, 1990.