Costa, J. L., Girão, P. M., Natário, J. & Drumond Silva, J. (2015). On the global uniqueness for the Einstein-Maxwell-scalar field system with a cosmological constant. Part 2: structure of the solutions and stability of the cauchy horizon. Communications in Mathematical Physics. 339 (3), 903-947