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