ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES. - ÉSIK, ZOLTÁN; WEIL, PASCAL (International Journal of Algebra & Computation, 2010)