@MastersThesis{   Nistor,
  Author        = "Nistor, Ligia Nicoleta",
  date-added    = "2013-05-02 17:42:45 +0000",
  date-modified = "2013-06-23 06:42:22 +0000",
  Keywords      = "higher-order recursion schemes",
  School        = "University of Oxford",
  Title         = "Model-Checking Higher-Order Recursion Schemes",
  Year          = "2009",
  File          = "Model-Checking Higher-Order Recursion Schemes - Nistor (0) (0) - a - a - q.pdf"
}

@MastersThesis{ Nistor, Author = "Nistor, Ligia Nicoleta", date-added = "2013-05-02 17:42:45 +0000", date-modified = "2013-06-23 06:42:22 +0000", Keywords = "higher-order recursion schemes", School = "University of Oxford", Title = "Model-Checking Higher-Order Recursion Schemes", Year = "2009", File = "Model-Checking Higher-Order Recursion Schemes - Nistor (0) (0) - a - a - q.pdf" }