@InProceedings{KupfermanSattlerVardi-CADE2002,
  author = 	 {O. Kupferman and U. Sattler and M.~Y. Vardi},
  title = 	 {The Complexity of the Graded mu-Calculus},
  booktitle = 	 {Proceedings of the Conference on Automated Deduction},
  series =       {Lecture Notes in Artificial Intelligence},
  volume =       {2392},
  publisher = 	 {Springer Verlag},
  year =	 2002,
 springer = {yes},
}