Overall Drilling Effectiveness: key performance indicator adapted for rock drilling. RSD [Internet]. 2023 Mar. 1 [cited 2026 Mar. 15];12(3):e12512340462. Available from: https://rsdjournal.org/rsd/article/view/40462