@TechReport{      afshari,
  Author        = "Afshari, Bahareh and Leigh, Graham E.",
  date-added    = "2022-03-04 15:34:08 +0100",
  date-modified = "2022-03-04 15:34:28 +0100",
  Title         = "Direct interpolation for modal mu-calculus",
  Year          = "2019",
  File          = "Direct interpolation for modal mu-calculus - Afshari.pdf",
  file-2        = "Direct interpolation for modal mu-calculus - interpolation-Afshari-PCC19.pdf"
}

@TechReport{ afshari, Author = "Afshari, Bahareh and Leigh, Graham E.", date-added = "2022-03-04 15:34:08 +0100", date-modified = "2022-03-04 15:34:28 +0100", Title = "Direct interpolation for modal mu-calculus", Year = "2019", File = "Direct interpolation for modal mu-calculus - Afshari.pdf", file-2 = "Direct interpolation for modal mu-calculus - interpolation-Afshari-PCC19.pdf" }