Symbolic Rewriting Techniques