Hrvatska enciklopedija (2013–)
grotleni plin → visoka peć ...

Hrvatski opći leksikon (2012)
grotleni plin, gorivi plin koji nastaje na vrhu (grotlu) visoke peći zbog nepotpuna izgaranja koksa. ...

Tehnički leksikon (2007)
plin, grotleni (engl. throat gas; njem. Gichtgas, Hochofengas; rus. колошниковый газ), plin koji nastaje ...

Hrvatski obiteljski leksikon (2005)
grotleni plin, niskokalorični gorivi plin dobiven pri proizvodnji željeza u visokoj peći ...