Thom Mulders Arne Storjohann Diophantine Linear System Solving. 181-188 1999 ISSAC http://doi.acm.org/10.1145/309831.309905 db/conf/issac/issac99.html#MuldersS99