Ragauskas, K.; Birštunas, A. Grupavimu Paremtas tiesinės Teiginių Laiko Logikos skaičiavimas. LMR 2024, 65 (A), 18–24. https://doi.org/10.15388/LMD.2024.37368.