Agathoklis Kritsimallis, Chrysafis Hartonas. Tableaux for type PDL. In Kostas I. Diamantaras, Georgios Evangelidis, Yannis Manolopoulos, Christos K. Georgiadis, Petros Kefalas, Demosthenes Stamatis, editors, Balkan Conference in Informatics, BCI '13, Thessaloniki, Greece, September 19-21, 2013. pages 39-46, ACM, 2013. [doi]
@inproceedings{KritsimallisH13,
title = {Tableaux for type PDL},
author = {Agathoklis Kritsimallis and Chrysafis Hartonas},
year = {2013},
doi = {10.1145/2490257.2490267},
url = {http://doi.acm.org/10.1145/2490257.2490267},
researchr = {https://researchr.org/publication/KritsimallisH13},
cites = {0},
citedby = {0},
pages = {39-46},
booktitle = {Balkan Conference in Informatics, BCI '13, Thessaloniki, Greece, September 19-21, 2013},
editor = {Kostas I. Diamantaras and Georgios Evangelidis and Yannis Manolopoulos and Christos K. Georgiadis and Petros Kefalas and Demosthenes Stamatis},
publisher = {ACM},
isbn = {978-1-4503-1851-8},
}