PDL with Intersection and Converse Is 2 EXP-Complete.

Stefan Gller, Markus Lohrey, Carsten Lutz

Browse the full FOSSACS paper archive.