Z. Fülöp and S. Vágvölgyi, “Minimization of deterministic top-down tree automata”, Acta Cybern, vol. 23, no. 1, pp. 379-401, Jan. 2017.