Theoretical study of the CO formation mechanism in the CO2 gasification of lignite