Linh Anh Nguyen. ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic. Fundamenta Informaticae, 147(2-3):261-288, 2016. [doi]
@article{Nguyen16a-1, title = {ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic}, author = {Linh Anh Nguyen}, year = {2016}, doi = {10.3233/FI-2016-1408}, url = {http://dx.doi.org/10.3233/FI-2016-1408}, researchr = {https://researchr.org/publication/Nguyen16a-1}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {147}, number = {2-3}, pages = {261-288}, }