[1]
J. Virágh, “Deterministic ascending tree automata I”, Acta Cybern, vol. 5, no. 1, pp. 33-42, Jan. 1980.