The existence of a foliation by maximal slices was established by Chrusciel and Wald [
43
].