Rewrite Logic 101A Learning Lounge course about rewrite.
A good book on rewriting is ''Rewriting, solving, proving'', by Claude and Helene Kirchner, still in preliminary version. You can download a copy from Claude Kirchner's home page.
See Alan Bundy for another book which contains an introduction to rewriting for the layman (chapter 9).
Also see Graph Reduction.
This page is linked from: Learning Lounge