Z. Ésik, “Decidability results concerning tree transducers II”, Acta Cybern, vol. 6, no. 3, pp. 303–314, Jan. 1983.