Rewriting Techniques and Applications: 3rd International Conference, Rts-89 Chapel Hill, North Carolina, USA April 3-5, 1989 Proceedings (Lecture Notes in Computer Science)