A. Christodoulou and I. Short, “A hyperbolic-distance inequality for holomorphic maps”, Ann. Fenn. Math., vol. 44, no. 1, pp. 293–300, Feb. 2019.