Inspecting Maude Variants with GLINTS | Publicación