Term rewriting advanced course (Springer, 1995)