by Enno Ohlebusch
"This text/reference offers a comprehensive and unified view of the subject that is suitable for all computer scientists, program designers, and software engineers who study and use term-rewriting…