Author: International Conference on Rewriting Techniques and Applications (3rd 1989 Chapel Hill, N.C.)