Co-pyrolysis of coal with hydrogen-rich gases. 1. Coal pyrolysis under coke-oven gas and synthesis gas