Proper lucky number of product graph of path | IEEE Conference Publication | IEEE Xplore