Optimal Tableau Decision Procedures for PDL

Open in new window