23rd Int. Conference on Rewriting Techniques and Applications