"PDL with Intersection and Converse Is 2 EXP-Complete."

Stefan Göller, Markus Lohrey, Carsten Lutz (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics