Term Rewriting Systems
Equational Reasoning and Completion

Jörg Endrullis
Vrije Universiteit Amsterdam