Tableaux for type PDL. - Agathoklis Kritsimallis; Chrysafis Hartonas (BCI, 2013)

Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements. - Agathoklis Kritsimallis (ICTAC, 2017)

ExpTime Tableaux for Type PDL. - Agathoklis Kritsimallis; Ioannis Refanidis (CoRR, 2019)