Rewrite Systems (1990)

by N Dershowitz, J-P Jouannaud
Venue:Handbook of Theoretical Computer Science B: Formal Methods and Semantics, chapter 6