Ragauskas, K., & Birštunas, A. (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