@PhdThesis{       Sereni,
  Author        = "Sereni, Damien",
  date-added    = "2013-06-24 08:43:35 +0000",
  date-modified = "2013-06-24 08:44:01 +0000",
  Keywords      = "size-change termination",
  School        = "Oxford University Computing Laboratory",
  Title         = "Termination Analysis of Higher-Order Functional Programs",
  Year          = "2006",
  File          = "Termination Analysis of Higher-Order Functional Programs - Sereni (0) (0) - a - a - c.pdf"
}

@PhdThesis{ Sereni, Author = "Sereni, Damien", date-added = "2013-06-24 08:43:35 +0000", date-modified = "2013-06-24 08:44:01 +0000", Keywords = "size-change termination", School = "Oxford University Computing Laboratory", Title = "Termination Analysis of Higher-Order Functional Programs", Year = "2006", File = "Termination Analysis of Higher-Order Functional Programs - Sereni (0) (0) - a - a - c.pdf" }