The adjacent vertex distinguishing total coloring of planar graphs. - Wang, Weifan; Huang, Danjun (J. Comb. Optim., 2014)