Inspecting Maude variants withGLINTS | Publicación