Polynomial algorithms for computing the Smith and Hermite normal forms of an integer matrix (1979)

by R Kannan, A Bachem
Venue:SIAM Journal on Computing