@inproceedings{Henzinger:2006:SGW:2111603.2111631,
    Address = {Berlin, Heidelberg},
    Author = {Henzinger, Thomas A. and Piterman, Nir},
    BookTitle = {Proceedings of the 20th international conference on Computer Science Logic},
    File = {Solving games without determinization - Henzinger, Piterman (0) (0) - a - a - h.pdf},
    ISBN = {3-540-45458-6, 978-3-540-45458-8},
    Location = {Szeged, Hungary},
    Pages = {395--410},
    Publisher = {Springer-Verlag},
    Series = {CSL'06},
    Title = {Solving games without determinization},
    URL = {http://dx.doi.org/10.1007/11874683\_26},
    Year = {2006},
    acmid = {2111631},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11874683\_26},
    date-added = {2012-05-21 19:14:50 +0200},
    date-modified = {2012-05-21 17:14:50 +0000},
    file-2 = {Solving games without determinization - Henzinger, Piterman (1) (0) - a - a - h.pdf},
    numpages = {16},
    doi = {10.1007/11874683_26}
}

@inproceedings{Henzinger:2006:SGW:2111603.2111631, Address = {Berlin, Heidelberg}, Author = {Henzinger, Thomas A. and Piterman, Nir}, BookTitle = {Proceedings of the 20th international conference on Computer Science Logic}, File = {Solving games without determinization - Henzinger, Piterman (0) (0) - a - a - h.pdf}, ISBN = {3-540-45458-6, 978-3-540-45458-8}, Location = {Szeged, Hungary}, Pages = {395--410}, Publisher = {Springer-Verlag}, Series = {CSL'06}, Title = {Solving games without determinization}, URL = {http://dx.doi.org/10.1007/11874683_26}, Year = {2006}, acmid = {2111631}, bdsk-url-1 = {http://dx.doi.org/10.1007/11874683_26}, date-added = {2012-05-21 19:14:50 +0200}, date-modified = {2012-05-21 17:14:50 +0000}, file-2 = {Solving games without determinization - Henzinger, Piterman (1) (0) - a - a - h.pdf}, numpages = {16}, doi = {10.1007/11874683_26} }