Contents of the Proceedings of the
3rd International Conference on Rewriting Techniques and Applications.
Chapel Hill, North Carolina, USA, April 3-5, 1989.
Lecture Notes in Computer Science, Vol. 355, Springer Verlag.

Editor: Nachum Dershowitz.


Invited Lecture Regular Papers System Descriptions