Rewrite systems (1990)

by N Dershowitz, J-P Jouannaud
Venue:Handbook of Theoretical Computer Science (Vol. B: Formal Models and Semantics), chapter 6