“...International Conference on Rewriting Techniques and Applications Valencie, Španělsko)...”