Yield-languages of two-way pushdown tree automata
scientific article; zbMATH DE number 984594