Term Rewriting and Applications