Term Rewriting Systems

• 10 December 1992
• book chapter
• Published by Oxford University Press (OUP)
• p. 1-116
• https://doi.org/10.1093/oso/9780198537618.003.0001

Abstract