Ragauskas, Kostas, and Adomas Birštunas. 2024. “Grupavimu Paremtas tiesinės Teiginių Laiko Logikos skaičiavimas”. Lietuvos Matematikos Rinkinys 65 (A): 18–24. https://doi.org/10.15388/LMD.2024.37368.