Term Rewriting and All That (1998)

by F Baader, T Nipkow