A post-peak dilatancy model for soft rock and its application in deep tunnel excavation | Synapse