Term rewriting and all that - Baader, Franz (Cambridge University Press, 1998)