Computation of graph edit distance: Reasoning about optimality and speed-up | Publicación