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

Open in new window