An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability.

Rajeev Gor, Florian Widmann

Browse the full CADE paper archive.