Jónsson, T. (1982) “Comparision of the length of infinite geodesics in manifolds with nonpositive curvature”., Mathematica Scandinavica, 51, pp. 151–157. doi:10.7146/math.scand.a-11969.