This textbook offers a unified, self-contained introduction to the field of term rewriting. Baader and Nipkow cover all the basic …