Publisher's Synopsis
Proceedings of the International Conference, Chapel Hill, NC, April 1989. Thirty-four papers in the following (or related) areas: graph rewriting and grammars, algebraic semantics, equational reasoning, equational programming languages, completion procedures, rewrite-based theorem proving, unification and matching algorithms, term-based architectur