An efficient bottom-up distance between trees | Publicación