Alternating tree pushdown automata - Salomaa, Kai (1988)