Integration of SMGA and Maude to Facilitate Characteristic Conjecture | Publicación