1. L. Bachmair, Termination orderings for associative commutative rewriting systems, Report UIUCDCS-R-84-1179, Dept. of Computer Science, Univ. of Illinois at Urbana-Champaign, December 1984.
2. N. Dershowitz, A note on simplification orderings. Information Processing Letters 9 (1979), 212–215.
3. N. Dershowitz, Orderings for term-rewriting systems, Theoretical Computer Science 17 (1982), 279–301.
4. N. Dershowitz, J. Hsiang, N.A. Josephson and D.A. Plaisted, Associative-commutative rewriting. Proc. 8th IJCAI, Karlsruhe, 1983, 990–994.
5. J. Hsiang, Topics in automated theorem proving and program generation, Ph. D. thesis, Univ. of Illinois at Urbana-Champaign, 1983.