Advanced Topics in Term Rewriting - Ohlebusch, Enno (Springer New York, 2002)