@InProceedings{SattlerVardi-IJCAR,
  author = 	 {U. Sattler and M. Y. Vardi},
  title = 	 {The Hybrid mu-Calculus},
  booktitle = 	 {Proceedings of the International Joint Conference on Automated Reasoning},
  year =	 2001,
  editor = 	 {R. Gor{\'e} and A. Leitsch and T. Nipkow},
  series =	 {LNAI},
  volume =       {2083},
  pages =        {76--91},
  publisher =	 {Springer Verlag}
}