Reflection in conditional rewriting logic | Publicación