Ésik, Z. 1980. Decidability results concerning tree transducers I. Acta Cybernetica. 5, 1 (Jan. 1980), 1-20.