Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata. - Kousha Etessami; Thomas Wilke; Rebecca A. Schuller (ICALP, 2001)

Fair Simulation Relations, Parity Games, and State Space Reduction for Bu"chi Automata. - Kousha Etessami; Thomas Wilke; Rebecca A. Schuller (SIAM J. Comput., 2005)