Loading paper
With commuting Killing vectors, the lapse and shift of one Killing vector are constants along the other | Tomesphere