K. Salomaa, “Alternation bounds for tree automata”, Acta Cybern, vol. 10, no. 3, pp. 173-197, Jan. 1992.