Color Superconductivity under Neutron-Star Conditions at Next-to-Leading Order | Synapse