@InProceedings{   Mamouras:Canonical:2012,
  Author        = "Mamouras, Konstantinos",
  BookTitle     = "Proceedings of the Twenty-Seventh Annual IEEE Symposium on Logic in Computer Science (LICS 2012)",
  date-added    = "2014-02-16 08:54:47 +0000",
  date-modified = "2014-03-11 18:50:11 +0000",
  Keywords      = "parity games",
  Location      = "Dubrovnik, Croatia",
  Month         = "June",
  Note          = "Short Presentation",
  Publisher     = "IEEE Computer Society Press",
  Title         = "Canonical Progress Measures for Parity Games",
  Year          = "2012",
  File          = "Canonical Progress Measures for Parity Games - Mamouras (0) (0) - a - a - s.pdf"
}

@InProceedings{ Mamouras:Canonical:2012, Author = "Mamouras, Konstantinos", BookTitle = "Proceedings of the Twenty-Seventh Annual IEEE Symposium on Logic in Computer Science (LICS 2012)", date-added = "2014-02-16 08:54:47 +0000", date-modified = "2014-03-11 18:50:11 +0000", Keywords = "parity games", Location = "Dubrovnik, Croatia", Month = "June", Note = "Short Presentation", Publisher = "IEEE Computer Society Press", Title = "Canonical Progress Measures for Parity Games", Year = "2012", File = "Canonical Progress Measures for Parity Games - Mamouras (0) (0) - a - a - s.pdf" }