1\begin{thebibliography}{HMM98} 2 3\bibitem[Dix82]{D82} 4J.~D. Dixon. 5\newblock Exact solution of linear equations using p-adic expansions. 6\newblock {\em Numer. Math.}, 40:137--141, 1982. 7 8\bibitem[HMM98]{HMM98} 9G.~Havas, B.~S. Majewski, and K.~R. Matthews. 10\newblock Extended gcd and {H}ermite normal form algorithms via lattice basis 11 reduction. 12\newblock {\em Experimental Mathematics}, 7:125--135, 1998. 13 14\bibitem[HS79]{HS79} 15G.~Havas and L.~S. Sterling. 16\newblock Integer matrices and abelian groups. 17\newblock In {\em Symbolic and algebraic computation}, volume~72 of {\em 18 Lecture Notes in Computer Science}, pages 431--451. Springer-Verlag, Berlin, 19 1979. 20 21\bibitem[L�b02]{L98} 22F.~L�beck. 23\newblock On the computation of elementary divisors of integer matrices. 24\newblock {\em Journal of Symbolic Computation}, 33:57--65, 2002. 25 26\end{thebibliography} 27