Term Rewriting and All That. CambridgeUniversity (1998)

by F Baader, T Nipkow
Venue:Handbook of Automated Reasoning, volume I, chapter 8