Fülöp, Z., & Vágvölgyi, S. (2017). Minimization of deterministic top-down tree automata. Acta Cybernetica, 23(1), 379–401. https://doi.org/10.14232/actacyb.23.1.2017.21