Semi-analytical solution of frost heave force for circular tunnels in strain-softening rock mass - Shi, Linpo; Xing, Meng; Wang, Pengyu; Wang, Kai; Cao, Xiaowei; Liu, Hui (Frontiers in Earth Science, 2025)