B. Imreh, “On isomorphic representation of nondeterministic tree automata”, Acta Cybern, vol. 12, no. 1, pp. 11-21, Jan. 1995.