Characteristic of size distribution of rock chip produced by rock cutting with a pick cutter | Synapse