Progress in mining technology : 45th mining scientific session (Kraków : Akademia Górniczo-Hutnicza im. S. Staszica, 1987)