Ragauskas K, Birštunas A. Grupavimu paremtas tiesinės teiginių laiko logikos skaičiavimas. LMR [Prieiga per internetą]. 2024 m.gruodžio10 d. [žiūrėta 2025 m.lapkričio7 d.];65(A):18–24. Adresas: https://www.zurnalai.vu.lt/LMR/article/view/37368