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