@InProceedings{   Chatterjee:2012:ONT:2095116.2095225,
  Author        = "Chatterjee, Krishnendu and Henzinger, Monika",
  acmid         = "2095225",
  BookTitle     = "Proceedings of the Twenty-third Annual ACM-SIAM Symposium on Discrete Algorithms",
  date-added    = "2014-04-08 19:28:34 +0000",
  date-modified = "2014-04-08 19:28:34 +0000",
  Keywords      = {B\"{u}chi objectives, computer-aided verification, dynamic graph algorithms, graph algorithms, graph games},
  Location      = "Kyoto, Japan",
  numpages      = "14",
  Pages         = "1386--1399",
  Publisher     = "SIAM",
  Series        = "SODA '12",
  Title         = {An O(N2) Time Algorithm for Alternating B{\"u}chi automata},
  doi           = {10.1137/1.9781611973099.109},
  URL           = "http://dl.acm.org/citation.cfm?id=2095116.2095225",
  Year          = "2012",
  bdsk-url-1    = "http://dl.acm.org/citation.cfm?id=2095116.2095225"
}

@InProceedings{ Chatterjee:2012:ONT:2095116.2095225, Author = "Chatterjee, Krishnendu and Henzinger, Monika", acmid = "2095225", BookTitle = "Proceedings of the Twenty-third Annual ACM-SIAM Symposium on Discrete Algorithms", date-added = "2014-04-08 19:28:34 +0000", date-modified = "2014-04-08 19:28:34 +0000", Keywords = {B\"{u}chi objectives, computer-aided verification, dynamic graph algorithms, graph algorithms, graph games}, Location = "Kyoto, Japan", numpages = "14", Pages = "1386--1399", Publisher = "SIAM", Series = "SODA '12", Title = {An O(N2) Time Algorithm for Alternating B{\"u}chi automata}, doi = {10.1137/1.9781611973099.109}, URL = "http://dl.acm.org/citation.cfm?id=2095116.2095225", Year = "2012", bdsk-url-1 = "http://dl.acm.org/citation.cfm?id=2095116.2095225" }