MICC: A tool for computing short distances in the curve complex. - Paul Glenn; William W. Menasco; Kayla Morrell; Matthew J. Morse (J. Symb. Comput., 2017)