Coupled flow and energy models with phase change in permafrost from pore- to Darcy scale: Modeling and approximation. - Malgorzata Peszynska; Z. Hilliard; Naren Vohra (J. Comput. Appl. Math., 2024)