Artigue, A. Isolated Sets, Catenary Lyapunov Functions and Expansive Systems. TMNA 2016, 49, 21-50.