Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, chapter 6: Rewrite Systems (1990)

by N Dershowitz, J-P Jouannaud