@misc{indiciae2125c09f4b4e,
  title = {Optimal Tableau Decision Procedures for PDL},
  author = {Linh Anh Nguyen and Andrzej Szałas},
  year = {2009},
  url = {https://arxiv.org/abs/0904.0721},
  note = {Source identifier: 0904.0721}
}