Computing Simplicial Homology Based on Efficient Smith Normal Form Algorithms. - Jean-Guillaume Dumas; Frank Heckenbach; B. David Saunders; Volkmar Welker (Algebra, Geometry, and Software Systems, 2003)