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

Title	An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability
Publication Type	Conference Proceedings
Year of Conference	2007
Authors	Abate P, Gore R, Widmann F
Conference Name	M4M
Series Title	ENTCS
Conference Start Date	2007
Publisher	Elsevier
URL	papers-download/abate-gore-widmann-pdl.pdf

Pietro Abate homepage