Salomaa, K. 1992. Alternation bounds for tree automata. Acta Cybernetica. 10, 3 (Jan. 1992), 173-197.