Proceedings of the 10th Asian Mining Congress 2023