“...International Conference on Rewriting Techniques and Applications Utrecht, Nizozemsko)...”