@InProceedings{	  Goeller05tcs,
  author	= "G{\"o}ller, Stefan and Lohrey, Markus",
  title		= "Fixpoint logics on hierarchical structures",
  volume	= "3821",
  year		= "2005",
  pages		= "483--494",
  publisher	= "Springer",
  address	= "Heidelberg",
  series	= "Lecture Notes in Computer Science",
  booktitle	= "FSTTCS 2005: Foundations of Software Technology and
		  Theoretical Computer Science",
  doi		= "10.1007/11590156_39"
}