@incollection{CachatDuparcThomas:2002,
    Author = {Cachat, Thierry and Duparc, Jacques and Thomas, Wolfgang},
    BookTitle = {Computer Science Logic},
    Editor = {Bradfield, Julian},
    File = {Solving Pushdown Games with a ∑3 Winning Condition - Cachat, Duparc, Thomas (0) (0) - a - a - n.pdf},
    ISBN = {978-3-540-44240-0},
    Language = {English},
    Pages = {322-336},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Solving Pushdown Games with a {$\Sigma_3$} Winning Condition},
    URL = {http://dx.doi.org/10.1007/3-540-45793-3\_22},
    Volume = {2471},
    Year = {2002},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-45793-3\_22},
    date-added = {2014-01-29 18:22:11 +0000},
    date-modified = {2014-01-29 18:22:11 +0000},
    doi = {10.1007/3-540-45793-3_22}
}

@incollection{CachatDuparcThomas:2002, Author = {Cachat, Thierry and Duparc, Jacques and Thomas, Wolfgang}, BookTitle = {Computer Science Logic}, Editor = {Bradfield, Julian}, File = {Solving Pushdown Games with a ∑3 Winning Condition - Cachat, Duparc, Thomas (0) (0) - a - a - n.pdf}, ISBN = {978-3-540-44240-0}, Language = {English}, Pages = {322-336}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Solving Pushdown Games with a {$\Sigma_3$} Winning Condition}, URL = {http://dx.doi.org/10.1007/3-540-45793-3_22}, Volume = {2471}, Year = {2002}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-45793-3_22}, date-added = {2014-01-29 18:22:11 +0000}, date-modified = {2014-01-29 18:22:11 +0000}, doi = {10.1007/3-540-45793-3_22} }