“...International Conference on Rewriting Techniques and Applications Seattle, Washington)...”