Home › Biblio

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

TitleAn On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability
Publication TypeConference Proceedings
Year of Conference2007
AuthorsAbate, P, Gore R, Widmann F
Conference NameM4M
Series TitleENTCS
Conference Start Date2007
PublisherElsevier
URLpapers-download/abate-gore-widmann-pdl.pdf