Term rewriting and all that (1998)

by F Baader, T Nipkow