International Workshop on Ice Drilling Technology (4th 1993 Tokyo, Japan)