Density functional theory molecular modelling and experimental particle kinetics for CO2–char gasification