Ésik, Z. 1983. Decidability results concerning tree transducers II. Acta Cybernetica. 6, 3 (Jan. 1983), 303-314.