Equational tree transformations. - Bozapalidis, Symeon; Fülöp, Zoltán; Rahonis, George (Theor. Comput. Sci., 2011)