Lehner, F., and R. G. Möller. “Local Finiteness, Distinguishing Numbers, and Tucker’s Conjecture”. The Electronic Journal of Combinatorics, Vol. 22, no. 4, Oct. 2015, p. P4.19, doi:10.37236/4873.