Seara, Carlos, Antoni Lozano, and Mercè Mora. 2012. “Distinguishing Trees in Linear Time”. The Electronic Journal of Combinatorics 19 (2), P19. https://doi.org/10.37236/2285.