Reflection in General Logics, Rewriting Logic, and Maude | Publicación