Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude | Publicación