Building Equational Proving Tools by Reflection in Rewriting Logic* | Publicación