@inproceedings{Bulling11mu-ijcai,
  author        = {N. Bulling and W. Jamroga},
  title         = {Alternating Epistemic Mu-Calculus},
  booktitle     = {Proceedings of {IJCAI-11}},
  year          = {2011},
  pages         = {109--114}
}