  
  
  [1XReferences[101X
  
  [[20XDix82[120X]  [16XDixon,  J.  D.[116X,  [17XExact  Solution  of  Linear Equations Using p-adic
  Expansions[117X, [18XNumer. Math.[118X, [19X40[119X (1982), 137--141.
  
  [[20XHMM98[120X]  [16XHavas,  G.,  Majewski,  B. S. and Matthews, K. R.[116X, [17XExtended gcd and
  Hermite  normal  form  algorithms  via lattice basis reduction[117X, [18XExperimental
  Mathematics[118X, [19X7[119X (1998), 125--135.
  
  [[20XHS79[120X]  [16XHavas,  G. and Sterling, L. S.[116X, [17XInteger matrices and abelian groups[117X,
  in  Symbolic  and  algebraic  computation,  Springer-Verlag, Berlin, Lecture
  Notes in Computer Science, [19X72[119X (1979), 431--451.
  
  [[20XLüb02[120X]  [16XLübeck,  F.[116X,  [17XOn  the Computation of Elementary Divisors of Integer
  Matrices[117X, [18XJournal of Symbolic Computation[118X, [19X33[119X (2002), 57--65.
  
  
  
  [32X
