Term Rewriting and All That (1999)

by F Baader, T Nipkow