Shear Behavior and Strength Model for the Ice-Rock Interface with Different Roughnesses | Synapse