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