Martin Farach Mikkel Thorup Sparse Dynamic Programming for Evolutionary-Tree Comparison. 210-230 1997 26 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp26.html#FarachT97