@incollection{Chatterjee:Henzinger:Piterman:SL:2007,
    Author = {Chatterjee, Krishnendu and Henzinger, ThomasA. and Piterman, Nir},
    BookTitle = {CONCUR 2007 -- Concurrency Theory},
    Editor = {Caires, Lu{\'\i}s and Vasconcelos, VascoT.},
    File = {Strategy Logic - Chatterjee, Henzinger, Piterman (1) (0) - a - a - h.pdf},
    ISBN = {978-3-540-74406-1},
    Pages = {59-73},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Strategy Logic},
    URL = {http://dx.doi.org/10.1007/978-3-540-74407-8\_5},
    Volume = {4703},
    Year = {2007},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-74407-8\_5},
    date-added = {2014-01-13 15:42:46 +0000},
    date-modified = {2014-01-13 15:42:46 +0000},
    file-2 = {Strategy Logic - Chatterjee, Henzinger, Piterman (0) (0) - a - a - h.pdf},
    doi = {10.1007/978-3-540-74407-8_5}
}

@incollection{Chatterjee:Henzinger:Piterman:SL:2007, Author = {Chatterjee, Krishnendu and Henzinger, ThomasA. and Piterman, Nir}, BookTitle = {CONCUR 2007 -- Concurrency Theory}, Editor = {Caires, Lu{\'\i}s and Vasconcelos, VascoT.}, File = {Strategy Logic - Chatterjee, Henzinger, Piterman (1) (0) - a - a - h.pdf}, ISBN = {978-3-540-74406-1}, Pages = {59-73}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Strategy Logic}, URL = {http://dx.doi.org/10.1007/978-3-540-74407-8_5}, Volume = {4703}, Year = {2007}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-74407-8_5}, date-added = {2014-01-13 15:42:46 +0000}, date-modified = {2014-01-13 15:42:46 +0000}, file-2 = {Strategy Logic - Chatterjee, Henzinger, Piterman (0) (0) - a - a - h.pdf}, doi = {10.1007/978-3-540-74407-8_5} }