@InProceedings{   Bradfield07modalmu-calculi,
  Author        = "Bradfield, Julian and Stirling, Colin",
  BookTitle     = "HANDBOOK OF MODAL LOGIC",
  date-added    = "2014-03-23 19:16:00 +0000",
  date-modified = "2014-03-23 19:16:00 +0000",
  Pages         = "721--756",
  Publisher     = "Elsevier",
  Title         = "Modal mu-calculi",
  Year          = "2007",
  File          = "Modal mu-calculi - Bradfield, Stirling (0) (0) - a - a - w.pdf"
}

@InProceedings{ Bradfield07modalmu-calculi, Author = "Bradfield, Julian and Stirling, Colin", BookTitle = "HANDBOOK OF MODAL LOGIC", date-added = "2014-03-23 19:16:00 +0000", date-modified = "2014-03-23 19:16:00 +0000", Pages = "721--756", Publisher = "Elsevier", Title = "Modal mu-calculi", Year = "2007", File = "Modal mu-calculi - Bradfield, Stirling (0) (0) - a - a - w.pdf" }