Ein kompakter Lehrtext aus dem Frühling 1993 in Font Romeux, der fortgeschrittene Techniken des Term‑Rewriteings beleuchtet und theoretische Grundlagen mit praktischen Beispielen verknüpft.