"Tutorial on Rewrite-Based Theorem Proving."

Jieh Hsiang, Jean-Pierre Jouannaud (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics