3-coloring triangle-free planar graphs with a precolored 8-cycle - Zdeněk Dvořák; Bernard Lidický (2013)