12th International Conference on Rewriting Techniques and Applications