@InProceedings{BoLuMuVa-ICALP06,
  author = 	 {P. Bonatti and C. Lutz and A. Murano and M. Vardi},
  title = 	 {The Complexity of Enriched $\mu$-Calculi},
  booktitle = 	 {Proccedings of the  33rd International Colloquium on
		      Automata, Languages and Programming, Part {II} ({ICALP'06})},
  pages =        {540-551},
  editor =       {Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener},
   series =	 {Lecture Notes in Computer Science},
   volume =       {4052},
   year =        {2006},
   publisher =    {Springer-Verlag},
   springer =     {yes}
}