Pliuškevičius, Regimantas. 2003. “Combination of Temporal Logic With Modal Logic KD”. Lietuvos Matematikos Rinkinys 43 (spec.): 444–448. https://doi.org/10.15388/LMR.2003.32500.