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