Methods for Monitoring Fast and Large Gradient Subsidence in Coal Mining Areas Using SAR Images: A Review | IEEE Journals & Magazine | IEEE Xplore