An optimal decomposition algorithm for tree edit distance
The Tree-to-Tree Correction Problem