@InProceedings{   FogartyVardi:TACAS:2010,
  Author        = "Fogarty, Seth and Vardi, Moshe Y.",
  Editor        = "Esparza, Javier and Majumdar, Rupak",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Proc. of TACAS'10",
  date-added    = "2012-03-06 11:23:01 +0100",
  date-modified = "2019-03-08 19:23:36 +0100",
  Keywords      = "size-change termination",
  Pages         = "205--220",
  Publisher     = "Springer-Verlag",
  rating        = "0",
  read          = "Yes",
  Title         = {Efficient {B}{\"u}chi Universality Checking},
  uri           = "http://dx.doi.org/10.1007/978-3-642-12002-2\_17",
  Volume        = "6015",
  Year          = "2010",
  File          = "Efficient Buchi Universality Checking - Fogarty, Vardi (0) (0) - a - a - e.pdf"
}

@InProceedings{ FogartyVardi:TACAS:2010, Author = "Fogarty, Seth and Vardi, Moshe Y.", Editor = "Esparza, Javier and Majumdar, Rupak", Address = "Berlin, Heidelberg", BookTitle = "Proc. of TACAS'10", date-added = "2012-03-06 11:23:01 +0100", date-modified = "2019-03-08 19:23:36 +0100", Keywords = "size-change termination", Pages = "205--220", Publisher = "Springer-Verlag", rating = "0", read = "Yes", Title = {Efficient {B}{\"u}chi Universality Checking}, uri = "http://dx.doi.org/10.1007/978-3-642-12002-2_17", Volume = "6015", Year = "2010", File = "Efficient Buchi Universality Checking - Fogarty, Vardi (0) (0) - a - a - e.pdf" }