Modeling of High-Pressure Entrained-Flow Char Oxidation