Term Rewriting Systems
Introduction and Abstract Rewriting

Jörg Endrullis
Vrije Universiteit Amsterdam