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