The Spin-Orbit Resonances of the Solar System: A Mathematical Treatment Matching Physical Data. - Francesco Antognini; Luca Biasco; Luigi Chierchia (J. Nonlinear Sci., 2014)