Comparison of Different Isothermal Shift Technologies of HT-L Pulverized Coal Pressure Gasification for Methanol Production