@article{JSC17,
  author    = {J.{-}F. Biasse and
               C. Fieker and
               T. Hofmann},
  title     = {On the computation of the {HNF} of a module over the ring of integers
               of a number field},
  journal   = {J. Symb. Comput.},
  volume    = {80},
  pages     = {581--615},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.jsc.2016.07.027},
  doi       = {10.1016/j.jsc.2016.07.027},
  timestamp = {Wed, 17 May 2017 14:25:48 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jsc/BiasseFH17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}