Term rewriting and all that
Intended for students and professionals, this is the first English-language textbook offering a unified and self-contained introduction to the field of term rewriting
Print Book, English, 1998
Cambridge University Press, Cambridge, 1998