Effective Field Theories for Heavy Majorana Neutrinos in a Thermal Bath | EKB DL