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