Planar graphs without 4-cycles adjacent to triangles are DP-4-colorable - Seog-Jin Kim; Xiaowei Yu (2017)