Papers related to rock engineering (Norges Geot. Inst., 1986)