@article{EtessamiWilkeSchuller:SIAMJC:2005,
    Address = {Philadelphia, PA, USA},
    Author = {Etessami, Kousha and Wilke, Thomas and Schuller, Rebecca A.},
    File = {Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata - Etessami, Wilke, Schuller (0) (0) (0) (0) - a - a - q.pdf},
    ISSN = {0097-5397},
    Journal = {SIAM J. Comput.},
    Keywords = {fair simulation and delayed simulation and quotienting},
    Month = {May},
    Number = {5},
    Pages = {1159--1175},
    Publisher = {Society for Industrial and Applied Mathematics},
    Title = {Fair Simulation Relations, Parity Games, and State Space Reduction for {B}{\"u}chi Automata},
    URL = {http://dx.doi.org/10.1137/S0097539703420675},
    Volume = {34},
    Year = {2005},
    acmid = {1068418},
    bdsk-url-1 = {http://dx.doi.org/10.1137/S0097539703420675},
    date-added = {2012-04-02 17:17:30 +0200},
    date-modified = {2019-03-08 19:12:34 +0100},
    issue_date = {2005},
    numpages = {17},
    doi = {10.1137/S0097539703420675}
}

@article{EtessamiWilkeSchuller:SIAMJC:2005, Address = {Philadelphia, PA, USA}, Author = {Etessami, Kousha and Wilke, Thomas and Schuller, Rebecca A.}, File = {Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata - Etessami, Wilke, Schuller (0) (0) (0) (0) - a - a - q.pdf}, ISSN = {0097-5397}, Journal = {SIAM J. Comput.}, Keywords = {fair simulation and delayed simulation and quotienting}, Month = {May}, Number = {5}, Pages = {1159--1175}, Publisher = {Society for Industrial and Applied Mathematics}, Title = {Fair Simulation Relations, Parity Games, and State Space Reduction for {B}{\"u}chi Automata}, URL = {http://dx.doi.org/10.1137/S0097539703420675}, Volume = {34}, Year = {2005}, acmid = {1068418}, bdsk-url-1 = {http://dx.doi.org/10.1137/S0097539703420675}, date-added = {2012-04-02 17:17:30 +0200}, date-modified = {2019-03-08 19:12:34 +0100}, issue_date = {2005}, numpages = {17}, doi = {10.1137/S0097539703420675} }