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

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