Yield-languages recognized by alternating tree recognizers Kai Salomaa (1988) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications