@MastersThesis{   mcdevitt,
  Author        = "McDevitt, Adam",
  date-added    = "2020-11-14 12:50:01 +0100",
  date-modified = "2020-11-14 12:50:23 +0100",
  School        = "University of Edinburgh",
  Title         = "Checking for Language Inclusion with Kurshan's Quasi-Complement Construction",
  Year          = "2020",
  File          = "Checking for Language Inclusion with Kurshan’s Quasi-Complement Construction - ug4\_proj - a - i.pdf"
}

@MastersThesis{ mcdevitt, Author = "McDevitt, Adam", date-added = "2020-11-14 12:50:01 +0100", date-modified = "2020-11-14 12:50:23 +0100", School = "University of Edinburgh", Title = "Checking for Language Inclusion with Kurshan's Quasi-Complement Construction", Year = "2020", File = "Checking for Language Inclusion with Kurshan’s Quasi-Complement Construction - ug4_proj - a - i.pdf" }