Hopcroft's algorithm and tree-like automata G. Castiglione, A. Restivo and M. Sciortino RAIRO-Theor. Inf. Appl., 45 1 (2011) 59-75 Published online: 15 March 2011 DOI: 10.1051/ita/2011011