@InProceedings{   Fogarty:2009vy,
  Author        = "Fogarty, Seth and Vardi, Moshe Y",
  Editor        = "Kowalewski, S. and Philippou, A.",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Proc. of TACAS'09",
  date-added    = "2012-03-06 11:23:01 +0100",
  date-modified = "2013-12-22 17:43:38 +0000",
  Keywords      = "size-change termination",
  Month         = "January",
  Pages         = "1--15",
  Publisher     = "Springer-Verlag",
  rating        = "0",
  read          = "Yes",
  Series        = "LNCS",
  Title         = {{B}{\"u}chi Complementation and Size-Change Termination},
  uri           = "\url{papers2://publication/uuid/A1F848FB-692B-4693-9F0B-0A39D6579AE5}",
  Volume        = "5505",
  Year          = "2009",
  File          = "Buchi Complementation and Size-Change Termination - Fogarty, Vardi (1) (0) - a - a - m.pdf"
}

@InProceedings{ Fogarty:2009vy, Author = "Fogarty, Seth and Vardi, Moshe Y", Editor = "Kowalewski, S. and Philippou, A.", Address = "Berlin, Heidelberg", BookTitle = "Proc. of TACAS'09", date-added = "2012-03-06 11:23:01 +0100", date-modified = "2013-12-22 17:43:38 +0000", Keywords = "size-change termination", Month = "January", Pages = "1--15", Publisher = "Springer-Verlag", rating = "0", read = "Yes", Series = "LNCS", Title = {{B}{\"u}chi Complementation and Size-Change Termination}, uri = "\url{papers2://publication/uuid/A1F848FB-692B-4693-9F0B-0A39D6579AE5}", Volume = "5505", Year = "2009", File = "Buchi Complementation and Size-Change Termination - Fogarty, Vardi (1) (0) - a - a - m.pdf" }