Friedrich, H., Racz, I., & Wald, R. M. (1999). On the rigidity theorem for spacetimes with a stationary event horizon or a compact Cauchy horizon. Communications in Mathematical Physics, 204, 691-707.