Publications of the Hungarian research institute for mining