@article{Serre2003285,
    Author = {Serre, Olivier},
    File = {Note on winning positions on pushdown games with {$\omega$}-regular conditions - Serre (0) (0) - a - a - m.pdf},
    ISSN = {0020-0190},
    Journal = {Information Processing Letters},
    Number = {6},
    Pages = {285 - 291},
    Title = {Note on winning positions on pushdown games with {$\omega$}-regular conditions},
    URL = {http://www.sciencedirect.com/science/article/pii/S0020019002004453},
    Volume = {85},
    Year = {2003},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0020019002004453},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S0020-0190(02)00445-3},
    date-added = {2014-06-26 13:31:13 +0000},
    date-modified = {2014-08-14 06:44:11 +0000},
    doi = {10.1016/S0020-0190(02)00445-3}
}

@article{Serre2003285, Author = {Serre, Olivier}, File = {Note on winning positions on pushdown games with {$\omega$}-regular conditions - Serre (0) (0) - a - a - m.pdf}, ISSN = {0020-0190}, Journal = {Information Processing Letters}, Number = {6}, Pages = {285 - 291}, Title = {Note on winning positions on pushdown games with {$\omega$}-regular conditions}, URL = {http://www.sciencedirect.com/science/article/pii/S0020019002004453}, Volume = {85}, Year = {2003}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0020019002004453}, bdsk-url-2 = {http://dx.doi.org/10.1016/S0020-0190(02)00445-3}, date-added = {2014-06-26 13:31:13 +0000}, date-modified = {2014-08-14 06:44:11 +0000}, doi = {10.1016/S0020-0190(02)00445-3} }