Friedrich, H. (1995). Einstein equations and conformal structure: Existence of Anti-de Sitter type space-times. Journal of Geometry and Physics, 17(2), 125-184.