Computational study of the kinetics and mechanisms for the HCO + O3 reaction.