On the Minimum Number of Edges in Triangle-Free 5-Critical Graphs - Luke Postle (2016)