W. Imrich, S. Klavžar, and V. Trofimov, “Distinguishing Infinite Graphs”, Electron. J. Combin., vol. 14, no. 1, p. R36, May 2007.