Pliuškevičius, R. (2003) “Combination of temporal logic with modal logic KD”, Lietuvos matematikos rinkinys, 43(spec.), pp. 444–448. doi:10.15388/LMR.2003.32500.