Constraints on magma ocean crystallization in the early earth experiments, thermodynamics and ab initio simulations - Yao, Jie (2021)