J. L. Costa et al.,  "On the global uniqueness for the Einstein–Maxwell-scalar field system with a cosmological constant: part 3. Mass inflation and extendibility of the solutions", in Ann. of PDE, vol. 3, 2017