@Article{         wilke2001,
  Author        = "Wilke, Thomas",
  ajournal      = "Bull. Belg. Math. Soc. Simon Stevin",
  date-added    = "2014-03-22 08:23:43 +0000",
  date-modified = "2014-03-22 08:23:43 +0000",
  Journal       = "Bulletin of the Belgian Mathematical Society - Simon Stevin",
  Number        = "2",
  Pages         = "359--391",
  Publisher     = "The Belgian Mathematical Society",
  Title         = "Alternating tree automata, parity games, and modal {$\mu$}-calculus",
  URL           = "http://projecteuclid.org/euclid.bbms/1102714178",
  Volume        = "8",
  Year          = "2001",
  bdsk-url-1    = "http://projecteuclid.org/euclid.bbms/1102714178",
  File          = "BibDesk/article/Alternating tree automata, parity games, and modal $\mu$-calculus - Wilke (0).pdf"
}

@Article{ wilke2001, Author = "Wilke, Thomas", ajournal = "Bull. Belg. Math. Soc. Simon Stevin", date-added = "2014-03-22 08:23:43 +0000", date-modified = "2014-03-22 08:23:43 +0000", Journal = "Bulletin of the Belgian Mathematical Society - Simon Stevin", Number = "2", Pages = "359--391", Publisher = "The Belgian Mathematical Society", Title = "Alternating tree automata, parity games, and modal {$\mu$}-calculus", URL = "http://projecteuclid.org/euclid.bbms/1102714178", Volume = "8", Year = "2001", bdsk-url-1 = "http://projecteuclid.org/euclid.bbms/1102714178", File = "BibDesk/article/Alternating tree automata, parity games, and modal $\mu$-calculus - Wilke (0).pdf" }