1. J. A. Bergstra and J. W. Klop, Conditional Rewrite Rules: Confluency and Termination, IW 198/82, SMC, Amsterdam, 1982.
2. D. Brand, J. A. Darringer and W. H. Joyner, Completeness of Conditional Reductions, Proc. 4th Conference on Automated Deduction, 1979, 36–42.
3. B. Buchberger, A Theoretical Basis for the Reduction of Polynomials to Canonical Forms, ACM-SIGSAM Bulletin, August, 1976, 19–29.
4. C. L. Chang and C. T. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, 1973.
5. N. Dershowitz, Orderings for Term Rewriting Systems, J. TCS 17, 3 (1982), 279–301.