Rewrite systems," in Handbook of Theoretical Computer Science (1989)

by N Dershowitz, J-P Jouannaud
Venue:Previous version in the Proceedings of the International Colloquium on Automata, Languages and Programming, Graz