Rajeev Goré, Florian Widmann
An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability
CADE, 2009.
@inproceedings{CADE-2009-GoreW, author = "Rajeev Goré and Florian Widmann", booktitle = "{Proceedings of the 22nd International Conference on Automated Deduction}", doi = "10.1007/978-3-642-02959-2_32", isbn = "978-3-642-02958-5", pages = "437--452", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability}", volume = 5663, year = 2009, }