Tutorial on Rewrite-Based Theorem Proving.

Jieh Hsiang, Jean-Pierre Jouannaud

Browse the full CADE paper archive.