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