Rabinowitz, P.H. 1997. Heteroclinics for a Hamiltonian system of double pendulum type. Topological Methods in Nonlinear Analysis. 9, 1 (Mar. 1997), 41–76.