@Article{         Stirlinge,
  Author        = "Stirling, Colin",
  date-added    = "2014-03-08 07:14:49 +0000",
  date-modified = "2014-03-08 07:15:01 +0000",
  EPrint        = "1309.5129",
  Month         = "09",
  Title         = "A Proof System with Names for Modal Mu-calculus",
  URL           = "http://arxiv.org/abs/1309.5129",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1309.5129",
  File          = "A Proof System with Names for Modal Mu-calculus - Stirling (0) (0) - a - a - e.pdf"
}

@Article{ Stirlinge, Author = "Stirling, Colin", date-added = "2014-03-08 07:14:49 +0000", date-modified = "2014-03-08 07:15:01 +0000", EPrint = "1309.5129", Month = "09", Title = "A Proof System with Names for Modal Mu-calculus", URL = "http://arxiv.org/abs/1309.5129", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1309.5129", File = "A Proof System with Names for Modal Mu-calculus - Stirling (0) (0) - a - a - e.pdf" }