@InProceedings{	  Goeller07csl,
  author	= "G{\"o}ller, Stefan",
  title		= "On the Complexity of Reasoning about Dynamic Policies",
  volume	= "4646",
  year		= "2007",
  pages		= "358--373",
  publisher	= "Springer",
  address	= "Heidelberg",
  series	= "Lecture Notes in Computer Science",
  booktitle	= "Proc. of Computer Science Logic 2007",
  doi		= "10.1007/978-3-540-74915-8_28"
}