@Article{         FogartyVardi:SCT:LMCS:2010,
  Author        = "Fogarty, Seth and Vardi, Moshe Y",
  date-added    = "2012-03-06 11:23:01 +0100",
  date-modified = "2016-11-14 10:49:07 +0000",
  Journal       = "Logical Methods in Computer Science",
  Keywords      = "size-change termination",
  Month         = "April",
  Pages         = "1--27",
  rating        = "0",
  read          = "Yes",
  Title         = "{Buchi complementation and size-change termination}",
  uri           = "\url{papers2://publication/uuid/EC69C5EA-1E46-40BA-BBEF-7853FAB82AB6}",
  Year          = "2010",
  File          = "Buchi complementation and size-change termination - Fogarty, Vardi (0) (0) - a - a - y.pdf"
}

@Article{ FogartyVardi:SCT:LMCS:2010, Author = "Fogarty, Seth and Vardi, Moshe Y", date-added = "2012-03-06 11:23:01 +0100", date-modified = "2016-11-14 10:49:07 +0000", Journal = "Logical Methods in Computer Science", Keywords = "size-change termination", Month = "April", Pages = "1--27", rating = "0", read = "Yes", Title = "{Buchi complementation and size-change termination}", uri = "\url{papers2://publication/uuid/EC69C5EA-1E46-40BA-BBEF-7853FAB82AB6}", Year = "2010", File = "Buchi complementation and size-change termination - Fogarty, Vardi (0) (0) - a - a - y.pdf" }