Fine structure of 4-critical triangle-free graphs II. Planar triangle-free graphs with two precolored 4-cycles - Zdeněk Dvořák; Bernard Lidický (2015)