@inproceedings{Otto1999b,
  publisher = {Springer-Verlag},
  author = {Otto, Martin},
  editor = {C. Meinel and S. Tison},
  title = {Eliminating recursion in the mu-calculus},
  pages = {531-540},
  series = {{LNCS}},
  booktitle = {Proceedings of {STACS}'99},
  volume = {1563},
  year = {1999},
}