Term rewriting and all that (1999)

by F Baader, T Nipkow