F. Lehner and R. G. Möller, “Local Finiteness, Distinguishing Numbers, and Tucker’s Conjecture”, Electron. J. Combin., vol. 22, no. 4, p. P4.19, Oct. 2015.