Equations and Rewrite Rules: A Survey