Before revision:  This paper presents dynamic-programming algorithms and proofs for exact inference in hierarchical clustering at small but useful scales.
After revision:  This paper presents dynamic-programming algorithms for exact inference in hierarchical clustering at small but useful scales.