selected publications academic article Rock engineering challenges in post-mining. IOP conference series. 833:012002-012002. 2021