Term rewriting and all that - Baader, Franz 1959-; Nipkow, Tobias 1958- (Cambridge Univ. Press, 1999)