Effective Field Theories for Heavy Majorana Neutrinos in a Thermal Bath. (2017)