Solidificação de Ligas Binárias: Existência de Soluções de Modelos do Tipo Campo de Fase