@MastersThesis{   Fogarty:2008wu,
  Author        = "Fogarty, Seth",
  date-added    = "2012-03-06 11:23:01 +0100",
  date-modified = "2012-10-18 08:49:39 +0000",
  Keywords      = "size-change termination",
  Pages         = "1--68",
  rating        = "0",
  read          = "Yes",
  Title         = "{Buchi Containment and Size-Change Termination}",
  uri           = "\url{papers2://publication/uuid/EE9D3D43-1A03-499F-925F-0C2EB9113875}",
  Year          = "2008",
  File          = "Buchi Containment and Size-Change Termination - Fogarty (0) (0) - a - a - u.pdf"
}

@MastersThesis{ Fogarty:2008wu, Author = "Fogarty, Seth", date-added = "2012-03-06 11:23:01 +0100", date-modified = "2012-10-18 08:49:39 +0000", Keywords = "size-change termination", Pages = "1--68", rating = "0", read = "Yes", Title = "{Buchi Containment and Size-Change Termination}", uri = "\url{papers2://publication/uuid/EE9D3D43-1A03-499F-925F-0C2EB9113875}", Year = "2008", File = "Buchi Containment and Size-Change Termination - Fogarty (0) (0) - a - a - u.pdf" }