Convergence of a time-stepping scheme to the free boundary in the supercooled Stefan problem. - Vadim Kaushansky; Christoph Reisinger; Mykhaylo Shkolnikov; Zhuo Qun Song (CoRR, 2020)