Term Rewriting and All That
"...it fills a gap by being the first textbook in English on this topic...The book is well written, clearly structured and contains proofs of all the theorems, including those of the undecidability of termination and of Kruskal's theorem."   Mathematical Reviews"...I am thoroughly impressed by this book."   Computing Reviews