Title: Term Rewriting and Applications