1-3 of 3 Books

Rewriting techniques and applications
By International Conference on Rewriting Techniques and Applications (13th 2002 Copenhagen, Denmark)

Rewriting Techniques and Applications
By Jean-Pierre Jouannaud

Rewriting techniques and applications
By Pierre Lescanne