Simulation relations for alternating Büchi automata - Fritz, Carsten; Wilke, Thomas (Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, 2001)