You are about to access our book library "Rewriting Techniques and Applications full version" .