Artigue, A. “Isolated Sets, Catenary Lyapunov Functions and Expansive Systems”. Topological Methods in Nonlinear Analysis, vol. 49, no. 1, Oct. 2016, pp. 21-50, https://apcz.umk.pl/TMNA/article/view/TMNA.2016.067.