Realization of Aho, Hopcroft and Ullman algorithm of cheking tree for isomorphism
https://logic.pdmi.ras.ru/~smal/files/smal_jass08.pdf
https://logic.pdmi.ras.ru/~smal/files/smal_jass08_slides.pdf
A. Aho, J. Hopcroft, and J. Ullman The Design and Analysis of Computer Algorithms. Addison-Wesley Publishing Co., Reading, MA, 1974, pp. 84-85.