Computer assisted proof of drift orbits along normally hyperbolic manifolds II: Application to the restricted three body problem. - Maciej J. Capinski; Natalia Wodka-Cholewa (Commun. Nonlinear Sci. Numer. Simul., 2022)