Computing the homology of universal covers via effective homology and discrete vector fields | Publicación