Theoretical studies on the acid-catalyzed decompositions of HCHO and HCOOH: mechanism and thermochemistry