We consider graphs that are the product of two paths, or the product of a
path and a cycle, or the product of two cycles.
For many of these, we find "graceful" labelings and "harmonious"
labelings, and in most cases, stronger versions of these types of
labelings, namely α-valuations and sequential labelings.