Some examples of aspherical 4-manifolds that are homology 4-spheres

In this paper, Problem 4.17 on R. Kirby’s problem list is solved by constructing infinitely many aspherical 4-manifolds that are homology 4-spheres