Seasonal variations of the atmospheric muon neutrino spectrum measured with IceCubeIceCube CollaborationEur. Phys. J. C, 85 12 (2025) 1368DOI: https://doi.org/10.1140/epjc/s10052-025-14844-0