Quantitative Prediction for Deformation and Brine Extraction in Salt Solution Mining Based on Water-Solution Kinetic (WSK) InSAR Model | IEEE Journals & Magazine | IEEE Xplore