Abstract: | An exothermic binary chemical reaction of first order is studied, assuming that one of the reactants can undergo a change of phase. In the limit of low activation energy, a one-dimensional problem is considered and the well-posedness of the corresponding system of two parabolic equations with a free boundary is proved in a classical sense. |