The aim of this paper is to provide a short introduction to computational homology based on cubical complexes. The discussed topics include cubical complexes, a reduction algorithm for computing homology of finitely generated chain complexes, and an algorithmic construction of homology of continuous maps via multivalued acyclic representations.
Homology, Homotopy and Applications, Vol. 5(2003), No. 2, pp. 233-256