Imreh, B. (1995). On isomorphic representation of nondeterministic tree automata. Acta Cybernetica, 12(1), 11-21. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3440