Term Rewriting and All That (1998)

by Franz Baader, Tobias Nipkow