Influence of the tool shape and location of cutters in it on the force distribution between the cutters at drilling gas-drainage boreholes - V. G. Krasnik (Geo-Technical Mechanics, 2013)