Ragauskas, K. and Birštunas, A. (2024) “Grupavimu paremtas tiesinės teiginių laiko logikos skaičiavimas”, Lietuvos matematikos rinkinys, 65(A), pp. 18–24. doi:10.15388/LMD.2024.37368.