Advanced Topics in Term Rewriting

New advanced text/reference book on term rewriting theory and application. Essential, state-of-the-art reference for computer scientists and advanced graduates working in field of computational logic programming.