@InProceedings{	  Goeller07fossacs,
  author	= "G{\"o}ller, Stefan and Lohrey, Markus and Lutz, Carsten",
  title		= "PDL with Intersection and Converse is 2EXP-complete",
  volume	= "4423",
  year		= "2007",
  pages		= "198--212",
  publisher	= "Springer",
  address	= "Heidelberg",
  series	= "Lecture Notes in Computer Science",
  booktitle	= "Proceedings of FoSSaCS 2007",
  doi		= "10.1007/978-3-540-71389-0_15"
}