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]
No references recorded for this publication.
No citations of this publication recorded.