@MastersThesis{   zenger:msc,
  Author        = "Zenger",
  date-added    = "2022-02-04 16:24:56 +0100",
  date-modified = "2022-02-04 16:25:29 +0100",
  School        = "University of Amsterdam",
  Title         = "Proof theory for fragments of the modal mu-calculus",
  Year          = "2021",
  File          = "Proof theory for fragments of the modal mu-calculus - MoL-2021-01.text.pdf",
  file-2        = "final\_version\_j0eioshe.pdf.pdf"
}

@MastersThesis{ zenger:msc, Author = "Zenger", date-added = "2022-02-04 16:24:56 +0100", date-modified = "2022-02-04 16:25:29 +0100", School = "University of Amsterdam", Title = "Proof theory for fragments of the modal mu-calculus", Year = "2021", File = "Proof theory for fragments of the modal mu-calculus - MoL-2021-01.text.pdf", file-2 = "final_version_j0eioshe.pdf.pdf" }