The proximal point algorithm in geodesic spaces with curvature bounded above - Yasunori Kimura; Fumiaki Kohsaka (2017)