Simulation relations for alternating Büchi automata - Fritz, Carsten; Wilke, Thomas (Inst. für Informatik und Praktische Mathematik, 2001)