Catalysis of gasification of coal-derived cokes and chars