Rewrite Systems (1990)

by N Dershowitz, J-P Jouannaud
Venue:Handbook of Theoretical Computer Science