Ab initio and density function theory computational studies of the CH4 + H → CH3 + H2 reaction