Ein praxisorientiertes Werk über Termumwandlung, das die Grundlagen der Terme, deren Rewriting-Regeln und Optimierungsstrategien in einer klaren Sprache erläutert und Beispiele aus Logik, Programmierung und Mathematik bietet.