@misc{indiciaee2dba5e91c7a,
  title = {An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability},
  author = {Pietro Abate and Rajeev Goré and Florian Widmann},
  year = {2008},
  url = {https://arxiv.org/abs/0711.1016},
  note = {Source identifier: 0711.1016}
}