W
[Wil01] Thomas Wilke. Alternating tree automata, parity games, and modal μ-calculus. Bulletin of the Belgian Mathematical Society – Simon Stevin 8(2):359-391. Belgian Mathematical Society, 2001. 
@article{bbms8(2)-Wil,
  author =              {Wilke, Thomas},
  title =               {Alternating tree automata, parity games, and modal
                         {{\(\mu\)}}-calculus},
  publisher =           {Belgian Mathematical Society},
  journal =             {Bulletin of the Belgian Mathematical Society~--
                         Simon Stevin},
  volume =              {8},
  number =              {2},
  pages =               {359-391},
  year =                {2001},
}
Liste des auteurs