Unification of drags and confluence of drag rewriting | Publicación