[1]
Z. Ésik, “Decidability results concerning tree transducers I”, Acta Cybern, vol. 5, no. 1, pp. 1-20, Jan. 1980.