Also check out what is available through our own Ben Keller's home page.
Dershowitz and Jouannaud's chapter on term rewriting from the Handbook of Theoretical Computer Science is available online.
Please report any problems found in these pages to:
CS6104 EI Account (cs6104@ei.cs.vt.edu)