REWRITING

• The RTA list of open problems
• Rewriting Home Page
• Description of CiME, E-normalised completion
• Book by Baader and Nipkow
• Robbins Algebras Are Boolean
• David Plaisted's Prover