Advanced topics in term rewriting - Ohlebusch, Enno (Springer, 2002)