Daniel Kirsten Alternating Tree Automata and Parity Games. 153-167 2001 conf/dagstuhl/2001automata Automata, Logics, and Infinite Games http://link.springer.de/link/service/series/0558/bibs/2500/25000153.htm db/conf/dagstuhl/automata2001.html#Kirsten01