Fülöp, Zoltán, and Sándor Vágvölgyi. 2017. “Minimization of Deterministic Top-down Tree Automata”. Acta Cybernetica 23 (1), 379-401. https://doi.org/10.14232/actacyb.23.1.2017.21.