Neighbor product distinguishing total colorings of planar graphs with maximum degree at least ten

From MaRDI portal