An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA | Publicación