@InProceedings{	  Goeller06csl,
  author	= "G{\"o}ller, Stefan and Lohrey, Markus",
  title		= "Infinite-state model-checking of Propositional Dynamic
		  Logics",
  volume	= "4207",
  year		= "2006",
  pages		= "349--364",
  publisher	= "Springer",
  address	= "Heidelberg",
  series	= "Lecture Notes in Computer Science",
  booktitle	= "Proc. of Computer Science Logic 2006",
  doi		= "10.1007/11874683_23"
}