Tree-Stack Automata

Wolfgang Golubski, Wolfram-Manfred Lippe. Tree-Stack Automata. Theory Comput. Syst., 29(3):227-244, 1996.