TY - RPRT TI - Planar graphs without 7-cycles and butterflies are DP-4-colorable AU - Seog-Jin Kim AU - Runrun Liu AU - Gexin Yu PY - 2019 UR - https://arxiv.org/abs/1907.06789 ID - 1907.06789 ER -