P. T. Chrusciel and J. L. Costa, "On uniqueness of stationary vacuum black holes", in Asterisque, no. 321, pp. 195-265, 2008