Pliuškevičienė, A. (2004) “Decision procedure for a combination of logics KD4 and PDL”, Lietuvos matematikos rinkinys, 44(spec.), pp. 525–529. doi:10.15388/LMR.2004.32074.