Les notes de cours et fiches de TDs et TPs peuvent être trouvé sur le page web de Philippe Audebaud.

Comme référence pour la réécriture, je vous recommande le livre Term Rewriting Systems, qui est disponible ici, et une version 'lite' ici.