Pabijutaitė, Ž. Temporalinės logikos sistemų CL ir Kb semantinės interpretacijos su tradicinių teisingumo reikšmių pertrūkiais. PRB 2020, 97, 132-149. https://doi.org/10.15388/Problemos.97.11.