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