Pliuškevičienė, A. (2004). Decision procedure for a combination of logics KD4 and PDL. Lietuvos Matematikos Rinkinys, 44(spec.), 525–529. https://doi.org/10.15388/LMR.2004.32074