Lehner, F.; Möller, R. G. Local Finiteness, Distinguishing Numbers, and Tucker’s Conjecture. Electron. J. Combin. 2015, 22, P4.19.