Constrained tree inclusion | Publicación