Rewrite Logic 101

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).

Learn Maude.

See also the IRC bot factoids. Wow, we need to fix this. Todo

Also see Graph Reduction.

This page is linked from: Learning Lounge