Imreh, B. 1995. On isomorphic representation of nondeterministic tree automata. Acta Cybernetica. 12, 1 (Jan. 1995), 11-21.