Progress in mining technology : 45th mining scientific session (Zeszyty Naukowe AGH im. S. Staszica, 1987)