Ming-Yang Kao Tak Wah Lam Wing-Kin Sung Hing-Fung Ting An Even Faster and More Unifying Algorithm for Comparing Trees via Unbalanced Bipartite Matchings. 212-233 2001 40 J. Algorithms 2 db/journals/jal/jal40.html#KaoLST01