A first-principles study on hydrogen behavior in helium-implanted tungsten and molybdenum