Algebraic recognizability of regular tree languages | Publicación