Mark Giesbrecht Arne Storjohann Computing Rational Forms of Integer Matrices. 157-172 2002 34 J. Symb. Comput. 3 http://dx.doi.org/10.1006/jsco.2002.0554 db/journals/jsc/jsc34.html#GiesbrechtS02