@InProceedings{Lutz-CSL-01,
  author =       {C. Lutz},
  title =        {PDL with Intersection and Converse is Decidable},
  booktitle =    {Annual Conference of the European Association for Computer Science Logic CSL'05},
  year =         2005,
  series =       {LNCS},
  publisher =    {Springer Verlag}
}