Term rewriting and all that /
Baader, Franz.
Nipkow, Tobias.
Cambridge : Cambridge University Press,
1998.
Includes bibliographical references and index
Rewriting systems (Computer science)