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