Kai Salomaa Yield-Languages Recognized by Alternating Tree Recognizers. 319-339 1988 22 ITA 3 db/journals/ita/ita22.html#Salomaa88