Li, Jianguo, Ge, Shan, and Xu, Changqing, “Neighbor sum distinguishing total colorings of planar graphs with girth at least 5”, A Canadian journal of applied mathematics, computer science and statistics, vol. 104, Sep. 2017.