Reflection in Rewriting Logic | lit.salon