D. Boutin and W. Imrich, “Infinite Graphs with Finite 2-Distinguishing Cost”, Electron. J. Combin., vol. 21, no. 4, p. P4.52, Dec. 2014.