Artigue, A. 2016. Isolated sets, catenary Lyapunov functions and expansive systems. Topological Methods in Nonlinear Analysis. 49, 1 (Oct. 2016), 21–50.