@InProceedings{   EberhartKlin:2019,
  Author        = "Eberhart, Clovis and Klin, Bartek",
  BookTitle     = "Proc. of LICS'19",
  date-added    = "2019-03-30 14:06:16 +0100",
  date-modified = "2019-03-30 14:06:43 +0100",
  Title         = "History-Dependent Nominal Mu-Calculus",
  Year          = "2019",
  File          = "mu-atoms (0) (0) - a - a - g.pdf"
}

@InProceedings{ EberhartKlin:2019, Author = "Eberhart, Clovis and Klin, Bartek", BookTitle = "Proc. of LICS'19", date-added = "2019-03-30 14:06:16 +0100", date-modified = "2019-03-30 14:06:43 +0100", Title = "History-Dependent Nominal Mu-Calculus", Year = "2019", File = "mu-atoms (0) (0) - a - a - g.pdf" }