Term Rewriting and All That door Franz Baader & Tobias Nipkow