Handbook of Theoretical Computer Science, volume B, chapter Rewrite Systems (1990)

by N Dershowitz, J-P Jouannaud