1. Bachmair, L., Dershowitz, N., and Hsiang, J.: Ordering for equational proof, Proc. Symp. Logic in Computer Science, Cambridge, Massachusetts (June 1986)
2. Bachmair, L., Dershowitz, N., and Plaisted, D. A.: Completion without failure, Proc. Colloquium on Resolution of Equations in Algebraic Structures (1987)
3. Bosco, P. G., Giovannetti, F., and Moiso, C.: Refined strategies for equational proofs, TAPSOFT '87, LNCS 250, pp. 276–290 (1987)
4. Dershowitz, N. and Manna, Z.: Proving termination with multiset orderings, Comm. ACM 22, pp. 465–467 (1979)
5. Dershowitz, N.: Orderings for term-rewriting systems, Theoretical Computer Science 17, pp. 279–301 (1982)