Periodic orbits, symbolic dynamics and topological entropy for the   restricted 3-body problem
  This paper concerns the restricted 3-body problem. By applying topological methods we give a computer assisted proof of the existence of some classes of periodic orbits, the existence of symbolic dynamics and we give a rigorous lower estimate for the topological entropy. 
Gianni Arioli