Rewrite systems (1990)

by N Dershowitz, J-P Jouannaud
Venue:In Handbook of Theoretical Computer Science, volume B, chapter 6. North-Holland