Cohomology with local coefficients and knotted manifolds. - Graham Ellis; Kelvin Killeen (J. Symb. Comput., 2021)