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]