Wiktionary
coke oven gas
n. A form of coal gas obtained as a byproduct of the manufacture of coke
Usage examples of "coke oven gas".
We drained the water, covered the tower with straw and circulated hot coke oven gas through it until the crust of ice was melted.