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