I. Neumüller, “The invertibility of tree transducers”, Acta Cybern, vol. 8, no. 1, pp. 63-78, Jan. 1987.