[1]
U. Kohlenbach and L. Leustean, “Mann Iterates of Directionally Nonexpansive Mappings in Hyperbolic Spaces”, BRICS, vol. 9, no. 28, Jun. 2002.