Exponentially small splitting of separatrices beyond Melnikov analysis: Rigurous results

I. Baldomá, E. Fontich, M. Guardia, T.M. Seara, Journal of Differential Equations, 253, 3304-3439, (2012)