Ragauskas K, Birštunas A. Grupavimu paremtas tiesinės teiginių laiko logikos skaičiavimas. LMR [Internet]. 2024 Dec. 10 [cited 2025 Apr. 19];65(A):18–24. Available from: https://www.zurnalai.vu.lt/LMR/article/view/37368