TY  - RPRT
TI  - A Canonical Model Construction for Iteration-Free PDL with Intersection
AU  - Florian Bruse
AU  - Daniel Kernberger
AU  - Martin Lange
PY  - 2016
DO  - 10.4204/eptcs.226.9
UR  - https://arxiv.org/abs/1609.04093
ID  - 1609.04093
ER  -