@InProceedings{GoeLoLu-07,
  author = 	 {Stefan G\"oller and Markus Lohrey and Carsten Lutz},
  title = 	 {{PDL} with Intersection and Converse is {2EXP}-complete},
  booktitle = 	 {Proceedings of the Tenth International Conference on
Foundations of Software Science and Computation Structures ({FoSSaCS'07})},
  year = 	 {2007},
  editor =       {Helmut Seidl},
  pages =        {198--212},
  publisher =    {Springer-Verlag},
  series =	 {Lecture Notes in Computer Science},
  volume =       {4423},
}