Carsten Fritz Thomas Wilke Simulation Relations for Alternating Parity Automata and Parity Games. 59-70 2006 conf/dlt/2006 Developments in Language Theory http://dx.doi.org/10.1007/11779148_7 db/conf/dlt/dlt2006.html#FritzW06