Imreh, Balázs. 1995. “On Isomorphic Representation of Nondeterministic Tree Automata”. Acta Cybernetica 12 (1), 11-21. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3440.