Loading paper
DP-coloring for planar graphs of diameter two | Tomesphere