Semianalytical Solution for Large Deformation of Salt Cavern with Strain-Softening Behavior. (31st August 2020)