https://9dok.net/document/y9641mkd-global-hyperbolicity-in-space-time-manifold.html