“...International Conference on Rewriting Techniques and Applications Paříž, Francie)...”