@PhdThesis{       Lehtinen:2017ab,
  Author        = "Lehtinen, Karoliina",
  date-added    = "2018-04-02 09:22:47 +0000",
  date-modified = "2018-04-02 09:23:13 +0000",
  School        = "University of Edinburgh",
  Title         = "Syntactic complexity in the modal {$\mu$}-calculus",
  Year          = "2017",
  File          = "thesis (1) - a - a - x.pdf"
}

@PhdThesis{ Lehtinen:2017ab, Author = "Lehtinen, Karoliina", date-added = "2018-04-02 09:22:47 +0000", date-modified = "2018-04-02 09:23:13 +0000", School = "University of Edinburgh", Title = "Syntactic complexity in the modal {$\mu$}-calculus", Year = "2017", File = "thesis (1) - a - a - x.pdf" }