Choi H, Kim D, Lee S, , Lee Y.  A proper total coloring distinguishing adjacent vertices by sums of some product graphs.  Commun. Korean Math. Soc. 2015;30:45-64.  https://doi.org/10.4134/CKMS.2015.30.1.45