PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse.

Diego Figueira, Santiago Figueira, Edwin Pin Baque

Browse the full LICS paper archive.