Dit leerboek biedt een uniforme en op zichzelf staande inleiding op het gebied van het herschrijven van termen. Het behandelt al het basismateriaal (abstracte reductiesystemen, beëindiging, confluentie, voltooiing en combinatieproblemen), maar ook enkele belangrijke en nauw met elkaar verbonden onderwerpen: universele algebra, unificatietheorie, Grãbner-bases en Buchbergers algoritme. De belangrijkste algoritmen worden zowel informeel als als programma's gepresenteerd in de functionele taal Standaard ML (een bijlage bevat een snelle en eenvoudige inleiding tot ML). Bepaalde cruciale algoritmes zoals unificatie en congruentiesluiting worden verder uitgediept en Pascal-programma's worden ontwikkeld. Het boek bevat veel voorbeelden en meer dan 170 oefeningen. Deze tekst is ook een ideaal naslagwerk voor professionele onderzoekers: resultaten die verspreid zijn over vele conferentie- en tijdschriftartikelen worden verzameld in een uniforme notatie, bewijzen van bijna alle stellingen worden verstrekt en elk hoofdstuk wordt afgesloten met een gids voor de literatuur. Taal: Engels