Title: Rewriting Techniques and Applications