An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability

Pietro Abate Rajeev Goré Florian Widmann An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability http://arxiv.org/abs/0711.1016 2007 CoRR abs/0711.1016 db/journals/corr/corr0711.html#abs-0711-1016 informal publication