@InProceedings{   Bagnol:2018aa,
  Author        = "Bagnol, Marc and Kuperberg, Denis",
  BookTitle     = "Proc. of FSTTCS'18",
  date-added    = "2018-10-24 09:35:02 +0000",
  date-modified = "2018-10-24 09:35:28 +0000",
  Title         = {B{\"u}chi Good-for-Games Automata Are Efficiently Recognizable},
  Year          = "2018",
  File          = "GFGness (0) - a - a - p.pdf"
}

@InProceedings{ Bagnol:2018aa, Author = "Bagnol, Marc and Kuperberg, Denis", BookTitle = "Proc. of FSTTCS'18", date-added = "2018-10-24 09:35:02 +0000", date-modified = "2018-10-24 09:35:28 +0000", Title = {B{\"u}chi Good-for-Games Automata Are Efficiently Recognizable}, Year = "2018", File = "GFGness (0) - a - a - p.pdf" }