Cynthia A. Brown, Gene Cooperman, Larry Finkelstein. Solving Permutation Problems Using Rewriting Systems. In Patrizia M. Gianni, editor, Symbolic and Algebraic Computation, International Symposium ISSAC 88, Rome, Italy, July 4-8, 1988, Proceedings. Volume 358 of Lecture Notes in Computer Science, pages 364-377, Springer, 1988.