Triangle-free planar graphs with small independence number. - Zdenek Dvorák 001; Jordan Venters (Eur. J. Comb., 2019)