@inproceedings{LS05,
  author	= {Lange, M. and Somla, R.},
  editor	= {Jedrzejowicz, J. and Szepietowski, A.},
  title		= {The Complexity of Model Checking Higher Order Fixpoint Logic},
  booktitle	= {Proc.\ 30th Int.\ Symp.\ on Math.\ Foundations of Computer Science, {MFCS'05}},
  series	= {LNCS},
  volume	= {3618},
  pages		= {640--651},
  address	= {Gdansk, Poland},
  year		= {2005},
  publisher	= {Springer},
}