publication venue for A Coupled Thermo-Hydro-Mechanical Model for Capturing Frost Heave Under Chilled Gas Pipelines 2020