Term Rewriting Systems
Matching and Unification

Jörg Endrullis
Vrije Universiteit Amsterdam