C. Seara, A. Lozano, and M. Mora, “Distinguishing Trees in Linear Time”, Electron. J. Combin., vol. 19, no. 2, p. P19, May 2012.