These equations are coupled for the solution of Stefan's problem for different conditions of ice in soils. The degrees of freedom of this problem are soil temperature, water pressure, and solute concentration. A model is proposed to simulate the presence and formation of ice lenses in ...