Convergence of the Allen-Cahn equation with constraint to Brakke's mean curvature flow - Keisuke Takasao (2015)