Rewrite Systems (1990)

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