Thom Mulders Arne Storjohann On lattice reduction for polynomial matrices. 377-401 2003 35 J. Symb. Comput. 4 http://dx.doi.org/10.1016/S0747-7171(02)00139-6 db/journals/jsc/jsc35.html#MuldersS03