CMC-Slicings of Kottler-Schwarzschild-de Sitter Cosmologies
  There is constructed, for each member of a one-parameter family of cosmological models, which is obtained from the Kottler-Schwarzschild-de Sitter spacetime by identification under discrete isometries, a slicing by spherically symmetric Cauchy hypersurfaces of constant mean curvature. These slicings are unique up to the action of the static Killing vector. Analytical and numerical results are found as to when different leaves of these slicings do not intersect, i.e. when the slicings form foliations. 
Robert Beig, J. Mark Heinzle