Application of geo-information technology in mining area subsidence analysis | IEEE Conference Publication | IEEE Xplore