Term rewriting systems /
Terese (Group).
Bezem, M.(Marc)
Klop, J. W.
Vrijer, R. C. de(Roel C.)
Cambridge : Cambridge University Press,
2003.
Includes bibliographical references and index.
Rewriting systems (Computer science)