Transformation of minerals in direct coal liquefaction residue under gasification atmosphere at high temperatures