@misc{indiciae0a99b25430e1,
  title = {A Canonical Model Construction for Iteration-Free PDL with Intersection},
  author = {Florian Bruse and Daniel Kernberger and Martin Lange},
  year = {2016},
  doi = {10.4204/eptcs.226.9},
  url = {https://arxiv.org/abs/1609.04093},
  note = {Source identifier: 1609.04093}
}