Symbolic Specialization of Rewriting Logic Theories with Presto | Publicación