An Edit Distance Between Graph Correspondences | Publicación