Rewriting techniques and applications 3rd Internat. Conference, RTA-89 Chapel Hill, N.C., USA April 3 - 5, 1989 ; proceedings (Springer, 1989)