  
  
  [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
