@Article{         BruseFriedmannLange,
  Author        = "Bruse, Florian and Friedmann, Oliver and Lange, Martin",
  date-added    = "2014-07-10 06:05:46 +0000",
  date-modified = "2014-07-10 06:05:55 +0000",
  EPrint        = "1305.0648",
  Month         = "05",
  Title         = "On Guarded Transformation In The Modal Mu-Calculus",
  URL           = "http://arxiv.org/abs/1305.0648",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1305.0648",
  File          = "On Guarded Transformation In The Modal Mu-Calculus - Bruse, Friedmann, Lange (0) (0) - a - a - i.pdf",
  file-2        = "On Guarded Transformation In The Modal Mu-Calculus - Bruse, Friedmann, Lange (1) (0) - a - a - i.pdf"
}

@Article{ BruseFriedmannLange, Author = "Bruse, Florian and Friedmann, Oliver and Lange, Martin", date-added = "2014-07-10 06:05:46 +0000", date-modified = "2014-07-10 06:05:55 +0000", EPrint = "1305.0648", Month = "05", Title = "On Guarded Transformation In The Modal Mu-Calculus", URL = "http://arxiv.org/abs/1305.0648", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1305.0648", File = "On Guarded Transformation In The Modal Mu-Calculus - Bruse, Friedmann, Lange (0) (0) - a - a - i.pdf", file-2 = "On Guarded Transformation In The Modal Mu-Calculus - Bruse, Friedmann, Lange (1) (0) - a - a - i.pdf" }