Cubical abelian groups with connections are equivalent to chain   complexes
  The theorem of the title is deduced from the equivalence between crossed complexes and cubical $\omega$-groupoids with connections proved by the authors in 1981. In fact we prove the equivalence of five categories defined internally to an additive category with kernels. 
R. Brown and Philip J. Higgins