@PhdThesis{       SchmitzPhD,
  Author        = "Schmitz, Sylvain",
  date-added    = "2023-03-11 23:03:57 +0100",
  date-modified = "2023-03-11 23:04:22 +0100",
  Title         = "Approximating Context-Free Grammars for Parsing and Verification",
  Year          = "2008",
  File          = "Approximating Context-Free Grammars for Parsing and Verification - phd - a.pdf"
}

@PhdThesis{ SchmitzPhD, Author = "Schmitz, Sylvain", date-added = "2023-03-11 23:03:57 +0100", date-modified = "2023-03-11 23:04:22 +0100", Title = "Approximating Context-Free Grammars for Parsing and Verification", Year = "2008", File = "Approximating Context-Free Grammars for Parsing and Verification - phd - a.pdf" }