@InProceedings{   GutierrezWinskel,
  Author        = "Gutierrez, Julian and Winskel, Glynn",
  date-added    = "2013-07-09 13:38:43 +0000",
  date-modified = "2013-07-09 13:39:08 +0000",
  Title         = "Borel Determinacy of Concurrent Games",
  Year          = "2013",
  File          = "Borel Determinacy of Concurrent Games - Gutierrez, Winskel (0) (0) - a - a - m.pdf",
  file-2        = "Borel Determinacy of Concurrent Games - Gutierrez, Winskel (1) (0) - a - a - m.pdf"
}

@InProceedings{ GutierrezWinskel, Author = "Gutierrez, Julian and Winskel, Glynn", date-added = "2013-07-09 13:38:43 +0000", date-modified = "2013-07-09 13:39:08 +0000", Title = "Borel Determinacy of Concurrent Games", Year = "2013", File = "Borel Determinacy of Concurrent Games - Gutierrez, Winskel (0) (0) - a - a - m.pdf", file-2 = "Borel Determinacy of Concurrent Games - Gutierrez, Winskel (1) (0) - a - a - m.pdf" }